Shkilniak Stepan
Publicaţii la conferinţe din RM - 4, Descărcări - 0, Vizualizări - 2470
ISO 690-2012
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-566 |
| 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-685 |
| 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-626 |
| 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-593 |
