Alexandre Lyaletsky

According to our database, Alexandre Lyaletsky authored at least 5 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

On One Approach to Goal-Driven Proof Search in Classical First-Order Logic.

Alexander V. Lyaletski, Alexandre Lyaletsky

Proceedings of the 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2020

Evidence Algorithm Approach to Automated Theorem Proving and SAD Systems.

Alexander V. Lyaletski, Alexandre Lyaletsky

Proceedings of the Selected Papers of the 7th International Conference "Information Technology and Interactions" (IT&I-2020). Conferece Proceedings, 2020

2017

The SAD System: a Current State and Future Work.

Alexander V. Lyaletski, Alexandre Lyaletsky, Konstantin Verchinine

Proceedings of the 13th International Conference on ICT in Education, 2017

2016

Evidential Paradigm as Formal Knowledge Presentation and Processing.

Alexander V. Lyaletski, Alexandre Lyaletsky, Andrei Paskevich

Proceedings of the 12th International Conference on ICT in Education, 2016

2015

Fundamental theorems of extensional untyped lambda-calculus revisited.

Alexandre Lyaletsky

Comput. Sci. J. Moldova, 2015