Alexander Lyaletski

Available identifiers

Publication	Date of Publication	Type
Evidence algorithm and inference search in first-order logics	2016-05-26	Paper
Glushkov's evidence algorithm	2014-10-27	Paper
Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)	2010-08-24	Paper
System for Automated Deduction (SAD): A Tool for Proof Verification	2009-03-06	Paper
On Correctness of Mathematical Texts from a Logical and Practical Point of View	2009-01-27	Paper
SAD as a mathematical assistant -- how should we go from here to there?	2007-02-20	Paper
Mathematical Knowledge Management	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4471536	2004-07-28	Paper
On the EA-style integrated processing of self-contained mathematical texts	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4938416	2000-06-22	Paper

This page was built for person: Alexander Lyaletski