Shkilniak Stepan
Articole în reviste din RM - 2, Descărcări - 19, Vizualizări - 1475
ISO 690-2012
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition    |
| Nikitchenko Mykola , Shkilniak Oksana , Shkilniak Stepan , Mamedov Tohrul |
| 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-703 |
| Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates |
| Nikitchenko Mykola , Shkilniak Stepan |
| Computer Science Journal of Moldova |
| Nr. 2(68) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330 |
| Disponibil online 20 November, 2015. Descarcări-17. Vizualizări-772 |
