Nikitcenko Micola
Publicaţii la conferinţe din RM - 8, Descărcări - 13, Vizualizări - 4987
Towards Representation of Free Logic as Logic of Partial Quasiary Predicates |
Nikitchenko Mykola , Shkilniak Stepan |
Conference on Mathematical Foundations of Informatics |
2018. Chișinău. "VALINEX" SRL. 180-189. |
Disponibil online 3 July, 2018. Descarcări-0. Vizualizări-542 |
Program-oriented Logics of Non-Deterministic Quasiary Predicates |
Nikitchenko Mykola , Shkilniak Stepan |
Conference of Mathematical Society of the Republic of Moldova |
4. 2017. Chişinău. Centrul Editorial-Poligrafic al USM. 137-140. |
Disponibil online 4 October, 2017. Descarcări-0. Vizualizări-668 |
On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System |
Ivanov Ievgen , Kornilowicz Artur , Nikitchenko Mykola |
Conference on Mathematical Foundations of Informatics |
2017. Chișinău, Republica Moldova. "VALINEX" SRL. 91-97. |
Disponibil online 19 March, 2018. Descarcări-8. Vizualizări-606 |
Towards Representation of Classical Logic as Logic of Partial Quasiary Predicates |
Nikitchenko Mykola , Shkilniak Stepan |
Conference on Mathematical Foundations of Informatics |
2017. Chișinău, Republica Moldova. "VALINEX" SRL. 133-138. |
Disponibil online 20 March, 2018. Descarcări-0. Vizualizări-605 |
Properties of Nominative Programs Specified by Effective Definitional Schemes |
Ivanov Ievgen , Nikitchenko Mykola , Skobelev Volodymyr |
Conference on Mathematical Foundations of Informatics |
2016. Chișinău, Republica Moldova. "VALINEX" SRL. 222-240. |
Disponibil online 30 March, 2018. Descarcări-2. Vizualizări-639 |
Institution for Pure First-Order Composition-Nominative Logic |
Chentsov Alexey , Nikitchenko Mykola |
Workshop on Foundations of Informatics |
I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 50-63. |
Disponibil online 3 October, 2017. Descarcări-1. Vizualizări-640 |
Analysis of Nominative Data Sets Structure |
Skobelev Volodymyr , Ivanov Ievgen , Nikitchenko Mykola |
Workshop on Foundations of Informatics |
I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 65-76. |
Disponibil online 3 October, 2017. Descarcări-2. Vizualizări-713 |
Semantic Properties of Logics of Quasiary Predicates |
Nikitchenko Mykola , Shkilniak Stepan |
Workshop on Foundations of Informatics |
I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 180-197. |
Disponibil online 6 October, 2017. Descarcări-0. Vizualizări-574 |