Articole în reviste din RM - 2. Publicaţii la conferinţe din RM - 1.
- 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.2.Articole în reviste de cat. B+ - 1
- 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 - 1
Many-Sorted First-Order Composition-Nominative Logic as Institution |
Chentsov Alexey |
Taras Shevchenko National University of Kyiv |
Computer Science Journal of Moldova |
Nr. 1(70) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 28 April, 2016. Descarcări-4. Vizualizări-627 |
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-657 |
Basics of Intensionalized Data: Presets, Sets, and Nominats |
Nikitchenko Mykola , Chentsov Alexey |
Taras Shevchenko National University of Kyiv |
Computer Science Journal of Moldova |
Nr. 3(60) / 2012 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 16 December, 2013. Descarcări-3. Vizualizări-885 |