Lyaletski Alexander
Publicaţii la conferinţe din RM - 5, Descărcări - 4, Vizualizări - 3257
Tree-like Refutation Search and Model Elimination Method |
Lyaletski Alexander |
Conference on Mathematical Foundations of Informatics |
2018. Chișinău. "VALINEX" SRL. 134-148. |
Disponibil online 3 July, 2018. Descarcări-0. Vizualizări-722 |
Goal-Driven Machine Proof Search in Intuitionistic First-Order Logic |
Lyaletski Alexander |
Conference of Mathematical Society of the Republic of Moldova |
4. 2017. Chişinău. Centrul Editorial-Poligrafic al USM. 121-124. |
Disponibil online 4 October, 2017. Descarcări-0. Vizualizări-566 |
EA-Style Mathematical Text Processing in English SAD System |
Lyaletski Alexander |
Conference on Mathematical Foundations of Informatics |
2017. Chișinău, Republica Moldova. "VALINEX" SRL. 98-101. |
Disponibil online 19 March, 2018. Descarcări-1. Vizualizări-611 |
On linear formats of resolution and paramodulation over ordered clauses |
Lyaletski Alexander , Lyaletsky Alexandre |
Conference on Mathematical Foundations of Informatics |
2016. Chișinău, Republica Moldova. "VALINEX" SRL. 251-261. |
Disponibil online 30 March, 2018. Descarcări-2. Vizualizări-684 |
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-674 |