Articole în reviste din RM - 1. Publicaţii la conferinţe din RM - 5.
- 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.3.Publicații la alte manifestări din RM - 5
Tree-like Refutation Search and Model Elimination Method |
Lyaletski Alexander |
Institute of Mathematics and Computer Science ASM |
Conference on Mathematical Foundations of Informatics |
2018. Chișinău. ISBN 978‐9975‐4237‐7‐9. |
Disponibil online 3 July, 2018. Descarcări-0. Vizualizări-679 |
EA-Style Mathematical Text Processing in English SAD System |
Lyaletski Alexander |
Institute of Mathematics and Computer Science ASM |
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-592 |
Goal-Driven Machine Proof Search in Intuitionistic First-Order Logic |
Lyaletski Alexander |
Kyiv National University of Trade and Economics |
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-0. Vizualizări-530 |
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-624 |
Admissibility, compatibility, and deducibility in first-order sequent logics |
Lyaletski Alexander |
Taras Shevchenko National University of Kyiv |
Computer Science Journal of Moldova |
Nr. 3(69) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 26 November, 2015. Descarcări-3. Vizualizări-934 |
Admissibility, compatibility, and deducibility in first-order sequent logics |
Lyaletski Alexander |
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 3 October, 2017. Descarcări-1. Vizualizări-622 |