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: Paskevich:Andrey
Contributed to:
2010
2007
2006Wrote 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.