Afiliat la Universitatea Naţională „Taras Shevchenko“, Kiev
| 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 |
| 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 |
    |
1-3 of 3
