Lyaletsky Alexandre
Publicaţii la conferinţe din RM - 7, Descărcări - 6, Vizualizări - 4044
ISO 690-2012
On a Sequent Form of the Inverse Method  |
| Lyaletsky Alexandre |
| Proceedings IMCS-55 |
| 2019. Chișinău, Republica Moldova. "VALINEX" SRL. 207-210. |
| Disponibil online 28 November, 2019. Descarcări-1. Vizualizări-531 |
| On a Notion of a Calculus Efficiency |
| Lyaletsky Alexandre |
| Proceedings IMCS-55 |
| 2019. Chișinău, Republica Moldova. "VALINEX" SRL. 325-326. |
| Disponibil online 29 November, 2019. Descarcări-1. Vizualizări-466 |
| 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. Descarcări-1. Vizualizări-615 |
| 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. Descarcări-1. Vizualizări-630 |
| 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-619 |
| 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. Descarcări-0. Vizualizări-661 |
| 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-522 |
