Lista publicaţiilor: Lyaletski Alexander Vadim (5), Descărcări - 4, Vizualizări - 3310
Articole în materiale ale conferințelor
ISO 690-2012
| 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-686 |
| 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-581 |
| 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-623 |
| 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-688 |
| 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-732 |
