Afiliat la Universitatea Naţională „Taras Shevchenko“, Kiev
Refutation Search and Literal Trees Calculi |
Lyaletsky Alexandre |
Conference of Mathematical Society of the Republic of Moldova |
4. 2017. Chişinău. Centrul Editorial-Poligrafic al USM. 125-128. |
Disponibil online 4 October, 2017 |
On Correct Computations on Fuzzy Data |
Lyaletsky Alexandre |
Conference on Mathematical Foundations of Informatics |
2017. Chișinău, Republica Moldova. "VALINEX" SRL. 102-103. |
Disponibil online 19 March, 2018 |
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 |
Set-theoretic models of the untyped λ-calculus determined by new notions of continuity |
Lyaletsky Alexandre |
Conference on Mathematical Foundations of Informatics |
2016. Chișinău, Republica Moldova. "VALINEX" SRL. 262-267. |
Disponibil online 30 March, 2018 |
Fundamental theorems of extensional untyped lambda-calculus revisited |
Lyaletsky Alexandre |
Computer Science Journal of Moldova |
Nr. 2(68) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 20 November, 2015 |
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 |
1-6 of 6