cvb.authors: Mykola Nikitchenko,Oksana Shkilniak,Stepan Shkilniak
cvb.fail: null
cvb.id: Vol-1843/17-28
cvb.pages: 17-28
cvb.pagesFrom: null
cvb.pagesTo: null
cvb.pdf_name: 17-28.pdf
cvb.position: null
cvb.title: "\u041F\u0435\u0440\u0448\u043E\u043F\u043E\u0440\u044F\u0434\u043A\u043E\
  \u0432\u0456 \u043A\u043E\u043C\u043F\u043E\u0437\u0438\u0446\u0456\u0439\u043D\u043E\
  -\u043D\u043E\u043C\u0456\u043D\u0430\u0442\u0438\u0432\u043D\u0456 \u043B\u043E\
  \u0433\u0456\u043A\u0438 \u0456\u0437 \u0443\u0437\u0430\u0433\u0430\u043B\u044C\
  \u043D\u0435\u043D\u0438\u043C\u0438 \u0440\u0435\u043D\u043E\u043C\u0456\u043D\u0430\
  \u0446\u0456\u044F\u043C\u0438\n(First-order composition-nominative logics with\
  \ generalized renominations)"
cvb.type: null
cvb.vol_number: '1843'
dblp.authors:
- dblp_author_id: https://dblp.org/pid/07/11448
  gnd_id: null
  label: Mykola S. Nikitchenko
  orcid_id: 0000-0002-4078-1062
  wikidata_id: Q109552150
- dblp_author_id: https://dblp.org/pid/20/11447
  gnd_id: null
  label: Stepan S. Shkilniak
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/249/5146
  gnd_id: null
  label: Oksana Shkilniak
  orcid_id: null
  wikidata_id: null
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/ukrprog/2014
dblp.dblp_publication_id: https://dblp.org/rec/conf/ukrprog/NikitchenkoSS14
dblp.pdf_id: Vol-1843/17-28
dblp.title: "\u041F\u0435\u0440\u0448\u043E\u043F\u043E\u0440\u044F\u0434\u043A\u043E\
  \u0432\u0456 \u043A\u043E\u043C\u043F\u043E\u0437\u0438\u0446\u0456\u0439\u043D\u043E\
  -\u043D\u043E\u043C\u0456\u043D\u0430\u0442\u0438\u0432\u043D\u0456 \u043B\u043E\
  \u0433\u0456\u043A\u0438 \u0456\u0437 \u0443\u0437\u0430\u0433\u0430\u043B\u044C\
  \u043D\u0435\u043D\u0438\u043C\u0438 \u0440\u0435\u043D\u043E\u043C\u0456\u043D\u0430\
  \u0446\u0456\u044F\u043C\u0438 (First-order composition-nominative logics with generalized\
  \ renominations)."
dblp.volume_number: 1843
spt.description: null
spt.html_url: /Vol-1843/17-28.html
spt.id: Vol-1843/17-28
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-1843/17-28.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: "\u041F\u0435\u0440\u0448\u043E\u043F\u043E\u0440\u044F\u0434\u043A\u043E\
  \u0432\u0456 \u043A\u043E\u043C\u043F\u043E\u0437\u0438\u0446\u0456\u0439\u043D\u043E\
  -\u043D\u043E\u043C\u0456\u043D\u0430\u0442\u0438\u0432\u043D\u0456 \u043B\u043E\
  \u0433\u0456\u043A\u0438 \u0456\u0437 \u0443\u0437\u0430\u0433\u0430\u043B\u044C\
  \u043D\u0435\u043D\u0438\u043C\u0438 \u0440\u0435\u043D\u043E\u043C\u0456\u043D\u0430\
  \u0446\u0456\u044F\u043C\u0438\n(First-order composition-nominative logics with\
  \ generalized renominations)"
spt.volume:
  acronym: UkrPROG 2014
  date: '2017-05-29'
  dblp: conf/ukrprog/2014
  description: Proceedings of UkrPROG 2014 workshop
  k10plus: '890795738'
  number: 1843
  title: Proceedings of the 9th International Conference of Programming
  url: http://ceur-ws.org/Vol-1843/
  urn: urn:nbn:de:0074-1843-0
  wikidataid: Q113544055
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.1.1
