| 2008 |
|---|
| 15 | EE | Konstantin Verchinine,
Alexander V. Lyaletski,
Andrey Paskevich,
Anatoly Anisimov:
On Correctness of Mathematical Texts from a Logical and Practical Point of View.
AISC/MKM/Calculemus 2008: 583-598 |
| 2007 |
|---|
| 14 | EE | Konstantin Verchinine,
Alexander V. Lyaletski,
Andrey Paskevich:
System for Automated Deduction (SAD): A Tool for Proof Verification.
CADE 2007: 398-403 |
| 2006 |
|---|
| 13 | EE | Alexander V. Lyaletski,
Boris Konev:
On Herbrand's Theorem for Intuitionistic Logic.
JELIA 2006: 293-305 |
| 12 | EE | Anatoly Anisimov,
Alexander V. Lyaletski:
The SAD System in Three Dimensions.
SYNASC 2006: 85-88 |
| 11 | EE | Alexander V. Lyaletski:
Sequent forms of Herbrand theorem and their applications.
Ann. Math. Artif. Intell. 46(1-2): 191-230 (2006) |
| 10 | EE | Alexander V. Lyaletski,
Andrey Paskevich,
Konstantin Verchinine:
SAD as a mathematical assistant - how should we go from here to there?
J. Applied Logic 4(4): 560-591 (2006) |
| 2005 |
|---|
| 9 | | Alexander V. Lyaletski,
Alexander A. Letichevsky,
Oleksandr Kalinovskyy:
Literal Trees and Resolution Technique.
Intelligent Information Systems 2005: 97-106 |
| 2004 |
|---|
| 8 | | Alexander V. Lyaletski,
Anatoly E. Doroshenko,
Andrey Paskevich,
Konstantin Verchinine:
Evidential Paradigm and Intelligent Mathematical Text Processing.
ISTA 2004: 205-211 |
| 7 | | Alexander V. Lyaletski:
On Admissible Substitutions in Classical and Intuitionistic Sequent Logics.
Intelligent Information Systems 2004: 49-58 |
| 6 | EE | Alexander V. Lyaletski,
Andrey Paskevich,
Konstantin Verchinine:
Theorem Proving and Proof Verification in the System SAD.
MKM 2004: 236-250 |
| 2003 |
|---|
| 5 | | Alexander V. Lyaletski:
Computer-Oriented Sequent Inferring without Preliminary Skolemization.
IIS 2003: 373-382 |
| 2002 |
|---|
| 4 | | Alexander V. Lyaletski,
Konstantin Verchinine,
Anatoli Degtyarev,
Andrey Paskevich:
System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities.
Intelligent Information Systems 2002: 413-422 |
| 2001 |
|---|
| 3 | | Alexander V. Lyaletski:
Quantifier Handling Issues in Computer-Oriented Intuitionistic Calculi.
Intelligent Information Systems 2001: 281-294 |
| 1999 |
|---|
| 2 | | Anatoli Degtyarev,
Alexander V. Lyaletski,
Marina K. Morokhovets:
Evidence Algorithm and Sequent Logical Inference Search.
LPAR 1999: 44-61 |
| 1 | EE | Alexander V. Lyaletski,
Marina Morokovets:
On linguistic aspects of integration of computer mathematical knowledge.
Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
