Program Logics of Renominative Level with the Composition of Predicate Complement

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]

Abstract

Abstract is missing.