Lyaletsky Alexandre
Cuvinte-cheie (38): Normalization theorem for βη-reduction (2), βη-Normal form theorem (2), η-Postponement theorem (2)
| Dinamica numărului de publicaţii pe ani |  |  | |
| Dinamica articolelor pe ani |  | ||
| Distribuirea numărului de pagini publicate pe categorii de reviste și ani | | ||
| Distribuirea articolelor pe domenii şi ani | |  | |
| Colaborarea autorului |  |  | |
| Dinamica descărcărilor pe ani | | ||
Articole în reviste din RM - 1. Publicaţii la conferinţe din RM - 7.
- 3. Articole în reviste din RM
- 3.1. Articole în reviste științifice din RM (perioada în care au avut categorie de clasificare + 2 numere până la aprobarea statutului de publicație științifică)
- 3.1.2.Articole în reviste de cat. B+ - 1
- 5. Publicaţii la manifestări din RM
- 5.1.Publicații la manifestări științifice din RM (incluse în Registrele manifestărilor științifice aprobate de către ANACEC) - 2
- 5.3.Publicații la alte manifestări din RM - 5
On a Notion of a Calculus Efficiency  |
| Lyaletsky Alexandre |
| Proceedings IMCS-55The Fifth Conference of Mathematical Society of the Republic of Moldova |
| 2019. Chișinău, Republica Moldova. ISBN 978-9975-68-378-4. |
| Disponibil online 29 November, 2019. Descarcări-1. Vizualizări-467 |
| On a Sequent Form of the Inverse Method |
| Lyaletsky Alexandre |
| National University of Life and Environmental Sciences of Ukraine |
| Proceedings IMCS-55The Fifth Conference of Mathematical Society of the Republic of Moldova |
| 2019. Chișinău, Republica Moldova. ISBN 978-9975-68-378-4. |
| Disponibil online 28 November, 2019. Descarcări-1. Vizualizări-537 |
| On Correct Computations on Fuzzy Data |
| Lyaletsky Alexandre |
| Taras Shevchenko National University of Kyiv |
| Conference on Mathematical Foundations of Informatics |
| 2017. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐6‐2. |
| Disponibil online 19 March, 2018. Descarcări-1. Vizualizări-630 |
| Refutation Search and Literal Trees Calculi |
| Lyaletsky Alexandre |
| Taras Shevchenko National University of Kyiv |
| Conference of Mathematical Society of the Republic of Moldova |
| 4. 2017. Chişinău. ISBN 978-9975-71-915-5. |
| Disponibil online 4 October, 2017. Descarcări-1. Vizualizări-616 |
| On linear formats of resolution and paramodulation over ordered clauses |
| Lyaletski Alexander , Lyaletsky Alexandre |
| Taras Shevchenko National University of Kyiv |
| Conference on Mathematical Foundations of Informatics |
| 2016. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐4‐8. |
| 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 |
| Taras Shevchenko National University of Kyiv |
| Conference on Mathematical Foundations of Informatics |
| 2016. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐4‐8. |
| Disponibil online 30 March, 2018. Descarcări-0. Vizualizări-661 |
Fundamental theorems of extensional untyped lambda-calculus revisited  |
| Lyaletsky Alexandre |
| Taras Shevchenko National University of Kyiv |
| Computer Science Journal of Moldova |
| Nr. 2(68) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330 |
| Disponibil online 20 November, 2015. Descarcări-3. Vizualizări-821 |
| Fundamental theorems of extensional untyped λ-calculus Revisited |
| Lyaletsky Alexandre |
| Taras Shevchenko National University of Kyiv |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1. |
| Disponibil online 6 October, 2017. Descarcări-0. Vizualizări-522 |
