IBN
Închide
Lyaletsky Alexandre Alexander
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.
XLS PDF DOC
SM ISO690:2012

2019 - 2

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-0. Vizualizări-62
-----------------------------------------------------------------------------------------------------------------------------------
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-0. Vizualizări-55
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 2

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-141
-----------------------------------------------------------------------------------------------------------------------------------
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-159
-----------------------------------------------------------------------------------------------------------------------------------

2016 - 2

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-1. Vizualizări-147
-----------------------------------------------------------------------------------------------------------------------------------
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-109
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 2

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
Disponibil online 20 November, 2015. Descarcări-3. Vizualizări-264
-----------------------------------------------------------------------------------------------------------------------------------
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-154
-----------------------------------------------------------------------------------------------------------------------------------
1 - 8 of 8