Afiliat la Universitatea Naţională „Taras Shevchenko“, Kiev
On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System |
Ivanov Ievgen , Kornilowicz Artur , Nikitcenko Micola |
Conference on Mathematical Foundations of Informatics |
2017. Chișinău, Republica Moldova. "VALINEX" SRL. 91-97. |
Disponibil online 19 March, 2018 |
Proving Properties of Programs on Hierarchical Nominative Data |
Ivanov Ievgen , Nikitcenko Micola , Skobelev Volodymyr |
Computer Science Journal of Moldova |
Nr. 3(72) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 6 December, 2016 |
Properties of Nominative Programs Specified by Effective Definitional Schemes |
Ivanov Ievgen , Nikitcenko Micola , Skobelev Volodymyr |
Conference on Mathematical Foundations of Informatics |
2016. Chișinău, Republica Moldova. "VALINEX" SRL. 222-240. |
Disponibil online 30 March, 2018 |
Analysis of Nominative Data Sets Structure |
Skobelev Volodymyr , Ivanov Ievgen , Nikitcenko Micola |
Workshop on Foundations of Informatics |
I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 65-76. |
Disponibil online 3 October, 2017 |
Set-theoretic Analysis of Nominative Data |
Skobelev Volodymyr , Ivanov Ievgen , Nikitcenko Micola |
Computer Science Journal of Moldova |
Nr. 3(69) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 26 November, 2015 |
1-7 of 7