Lista publicaţiilor: Universitatea Naţională „Taras Shevchenko“, Kiev (7), Descărcări - 4, Vizualizări - 4430
Articole în materiale ale conferințelor
2015 - 7
ISO 690-2012
| Institution for Pure First-Order Composition-Nominative Logic |
| Chentsov Alexey, Nikitchenko Mykola |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 50-63. |
| Disponibil online 3 October, 2017. Descarcări-1. Vizualizări-678 |
| Analysis of Nominative Data Sets Structure |
| Skobelev Volodymyr, Ivanov Ievgen, Nikitchenko Mykola |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 65-76. |
| Disponibil online 3 October, 2017. Descarcări-2. Vizualizări-765 |
| Admissibility, compatibility, and deducibility in first-order sequent logics |
| Lyaletski Alexander |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 102-116. |
| Disponibil online 3 October, 2017. Descarcări-1. Vizualizări-665 |
| Fundamental theorems of extensional untyped λ-calculus Revisited |
| Lyaletsky Alexandre |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 168-179. |
| Disponibil online 6 October, 2017. Descarcări-0. Vizualizări-549 |
| 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-630 |
| Modal Logics of Partial Predicates without Monotonicity Restriction |
| Shkilniak Oksana |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 198-211. |
| Disponibil online 6 October, 2017. Descarcări-0. Vizualizări-605 |
| Axiomatics for multivalued dependencies in table databases: correctness and completeness |
| Bui Dmitriy, Puzikova Anna |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 361-376. |
| Disponibil online 6 October, 2017. Descarcări-0. Vizualizări-538 |
