Andrey Paskevich

Publication Activity (10 Years)

Years Active: 2002-2011
Publications (10 Years): 0

Publications

François Bobot, Andrey Paskevich
Expressing Polymorphic Types in a Many-Sorted Language. FroCoS (2011)
Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest
A3PAT, an approach for certified automated termination proofs. PEPM (2010)
Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov
On Correctness of Mathematical Texts from a Logical and Practical Point of View. AISC/MKM/Calculemus (2008)
Andrey Paskevich
Connection Tableaux with Lazy Paramodulation. J. Autom. Reason. 40 (2-3) (2008)
Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich
System for Automated Deduction (SAD): A Tool for Proof Verification. CADE (2007)
Andrey Paskevich
Connection Tableaux with Lazy Paramodulation. IJCAR (2006)
Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine
SAD as a mathematical assistant - how should we go from here to there? J. Appl. Log. 4 (4) (2006)
Alexander V. Lyaletski, Anatoly E. Doroshenko, Andrey Paskevich, Konstantin Verchinine
Evidential Paradigm and Intelligent Mathematical Text Processing. ISTA (2004)
Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine
Theorem Proving and Proof Verification in the System SAD. MKM (2004)
Alexander V. Lyaletski, Konstantin Verchinine, Anatoli Degtyarev, Andrey Paskevich
System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities. Intelligent Information Systems (2002)