IBN
Închide

Nikitcenko Micola

Publicaţii la conferinţe din RM - 8, Descărcări - 13, Vizualizări - 4987
XLS PDF DOC
ISO 690-2012

2018 - 1

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
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 3

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
-----------------------------------------------------------------------------------------------------------------------------------

2016 - 1

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
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 3

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
-----------------------------------------------------------------------------------------------------------------------------------
1 - 8 of 8