Articole în reviste din RM - 1. Publicaţii la conferinţe din RM - 1.
Publicații indexate în SCOPUS - 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.1.Articole în reviste de cat. A - 1
- 5. Publicaţii la manifestări din RM
- 5.3.Publicații la alte manifestări din RM - 1
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition |
Nikitchenko Mykola , Shkilniak Oksana , Shkilniak Stepan , Mamedov Tohrul |
Taras Shevchenko National University of Kyiv |
Computer Science Journal of Moldova |
Nr. 2(80) / 2019 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 22 September, 2019. Descarcări-2. Vizualizări-659 |
Modal Logics of Partial Predicates without Monotonicity Restriction |
Shkilniak Oksana |
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-544 |