Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak. Program Logics of Renominative Level with the Composition of Predicate Complement. In Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Vyacheslav Kharchenko, Vitaliy Kobets, Artur Kornilowicz, Hennadiy Kravtsov, Mykola S. Nikitchenko, Serhiy Semerikov, Aleksander Spivakovsky, editors, Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019. Volume 2393 of CEUR Workshop Proceedings, pages 603-616, CEUR-WS.org, 2019. [doi]
@inproceedings{NikitchenkoSS19,
title = {Program Logics of Renominative Level with the Composition of Predicate Complement},
author = {Mykola S. Nikitchenko and Oksana Shkilniak and Stepan S. Shkilniak},
year = {2019},
url = {http://ceur-ws.org/Vol-2393/paper_434.pdf},
researchr = {https://researchr.org/publication/NikitchenkoSS19},
cites = {0},
citedby = {0},
pages = {603-616},
booktitle = {Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019},
editor = {Vadim Ermolayev and Frédéric Mallet and Vitaliy Yakovyna and Vyacheslav Kharchenko and Vitaliy Kobets and Artur Kornilowicz and Hennadiy Kravtsov and Mykola S. Nikitchenko and Serhiy Semerikov and Aleksander Spivakovsky},
volume = {2393},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}