Nikitcenko Micola
| Dinamica numărului de publicaţii pe ani |  |  | |
| Dinamica articolelor pe ani |  | ||
| Distribuirea numărului de pagini publicate pe categorii de reviste și ani | | ||
| Distribuirea articolelor pe domenii şi ani | |  | |
| Colaborarea autorului |  |  | |
| Dinamica descărcărilor pe ani | | ||
| Proiecte | (2) | ||
- 3. Articole în reviste din RM
- 3.1. Articole în reviste științifice din RM (perioada în care au avut categorie de clasificare + 2 numere până la aprobarea statutului de publicație științifică)
- 3.1.1.Articole în reviste de cat. A - 2
- 3.1.2.Articole în reviste de cat. B+ - 4
- 3.1.3.Articole în reviste de cat. B - 1
- 5. Publicaţii la manifestări din RM
- 5.3.Publicații la alte manifestări din RM - 8
Towards Representation of Free Logic as Logic of Partial Quasiary Predicates  |
| Nikitchenko Mykola , Shkilniak Stepan |
| T.G. Shevchenko University |
| Conference on Mathematical Foundations of Informatics |
| 2018. Chișinău. ISBN 978‐9975‐4237‐7‐9. |
| Disponibil online 3 July, 2018. Descarcări-0. Vizualizări-615 |
| On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System |
| Ivanov Ievgen1 , Kornilowicz Artur2 , Nikitchenko Mykola1 |
| 1 Taras Shevchenko National University of Kyiv, 2 University of Bialystok |
| Conference on Mathematical Foundations of Informatics |
| 2017. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐6‐2. |
| Disponibil online 19 March, 2018. Descarcări-8. Vizualizări-681 |
| Program-oriented Logics of Non-Deterministic Quasiary Predicates |
| Nikitchenko Mykola , Shkilniak Stepan |
| Taras Shevchenko National University of Kyiv |
| Conference of Mathematical Society of the Republic of Moldova |
| 4. 2017. Chişinău. ISBN 978-9975-71-915-5. |
| Disponibil online 4 October, 2017. Descarcări-0. Vizualizări-744 |
| Towards Representation of Classical Logic as Logic of Partial Quasiary Predicates |
| Nikitchenko Mykola , Shkilniak Stepan |
| Taras Shevchenko National University of Kyiv |
| Conference on Mathematical Foundations of Informatics |
| 2017. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐6‐2. |
| Disponibil online 20 March, 2018. Descarcări-0. Vizualizări-679 |
| Properties of Nominative Programs Specified by Effective Definitional Schemes |
| Ivanov Ievgen1 , Nikitchenko Mykola1 , Skobelev Volodymyr2 |
| 1 Taras Shevchenko National University of Kyiv, 2 V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine |
| Conference on Mathematical Foundations of Informatics |
| 2016. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐4‐8. |
| Disponibil online 30 March, 2018. Descarcări-2. Vizualizări-710 |
| Analysis of Nominative Data Sets Structure |
| Skobelev Volodymyr1 , Ivanov Ievgen2 , Nikitchenko Mykola2 |
| 1 V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, 2 Taras Shevchenko National University of Kyiv |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1. |
| Disponibil online 3 October, 2017. Descarcări-2. Vizualizări-785 |
| Institution for Pure First-Order Composition-Nominative Logic |
| Chentsov Alexey , Nikitchenko Mykola |
| Taras Shevchenko National University of Kyiv |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1. |
| Disponibil online 3 October, 2017. Descarcări-1. Vizualizări-703 |
| Semantic Properties of Logics of Quasiary Predicates |
| Nikitchenko Mykola , Shkilniak Stepan |
| Taras Shevchenko National University of Kyiv |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1. |
| Disponibil online 6 October, 2017. Descarcări-0. Vizualizări-667 |
