Afiliat la Universitatea Naţională „Taras Shevchenko“, Kiev
| Towards Representation of Classical Logic as Logic of Partial Quasiary Predicates |
| Nikitcenko Micola , Shkilniak Stepan |
| Conference on Mathematical Foundations of Informatics |
| 2017. Chișinău, Republica Moldova. "VALINEX" SRL. 133-138. |
| Disponibil online 20 March, 2018 |
| 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 |
| Program-oriented Logics of Non-Deterministic Quasiary Predicates |
| Nikitcenko Micola , 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 |
| 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 |
| 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 |
| Institution for Pure First-Order Composition-Nominative Logic |
| Cenţov Alexei , Nikitcenko Micola |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 50-63. |
| Disponibil online 3 October, 2017 |
| 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 |
| Semantic Properties of Logics of Quasiary Predicates |
| Nikitcenko Micola , Shkilniak Stepan |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 180-197. |
| Disponibil online 6 October, 2017 |
| Basics of Intensionalized Data: Presets, Sets, and Nominats |
| Nikitcenko Micola , Cenţov Alexei |
| Computer Science Journal of Moldova |
| Nr. 3(60) / 2012 / ISSN 1561-4042 / ISSNe 2587-4330 |
| Disponibil online 16 December, 2013 |
    |
1-14 of 14
