Andrii Kryvolap

According to our database, Andrii Kryvolap authored at least 7 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations.

Ievgen Ivanov, Mykola S. Nikitchenko, Andrii Kryvolap, Artur Kornilowicz

Formaliz. Math., 2017

Formalization of the Nominative Algorithmic Algebra in Mizar.

Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov

Proceedings of the Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology - ISAT 2017, 2017

Extended Floyd-Hoare Logic over Relational Nominative Data.

Mykola Nikitchenko, Ievgen Ivanov, Artur Kornilowicz, Andrii Kryvolap

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2017

An Approach To Formalization of an Extension of Floyd-Hoare Logic.

Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov

Proceedings of the 13th International Conference on ICT in Education, 2017

Formalization of the Algebra of Nominative Data in Mizar.

Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2013

Extending Floyd-Hoare Logic for Partial Pre- and Postconditions.

Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2013

Program Algebras with Monotone Floyd-Hoare Composition.

Andrii Kryvolap, Mykola S. Nikitchenko, Wolfgang Schreiner

Proceedings of the 9th International Conference on ICT in Education, 2013