BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Spain
1 × USA
Collaborated with:
K.Verchinine A.V.Lyaletski E.Contejean X.Urbain P.Courtieu O.Pons J.Forest
Talks about:
proof (2) autom (2) paramodul (1) tableaux (1) approach (1) connect (1) certifi (1) termin (1) system (1) deduct (1)

Person: Andrey Paskevich

DBLP DBLP: Paskevich:Andrey

Contributed to:

PEPM 20102010
CADE 20072007
IJCAR 20062006

Wrote 3 papers:

PEPM-2010-ContejeanPUCPF #approach #automation #proving #termination
A3PAT, an approach for certified automated termination proofs (EC, AP, XU, PC, OP, JF), pp. 63–72.
CADE-2007-VerchinineLP #automation #deduction #proving #verification
System for Automated Deduction (SAD): A Tool for Proof Verification (KV, AVL, AP), pp. 398–403.
IJCAR-2006-Paskevich #lazy evaluation
Connection Tableaux with Lazy Paramodulation (AP), pp. 112–124.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.