Andrei Paskevich

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The spirit of ghost code Formal Methods in System Design	2017-03-28	Paper
Adding decision procedures to SMT solvers using axioms with triggers Journal of Automated Reasoning	2016-05-26	Paper
Why3 -- where programs meet provers Programming Languages and Systems	2013-08-05	Paper
TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Automated Deduction – CADE-24	2013-06-14	Paper
Expressing polymorphic types in a many-sorted language Frontiers of Combining Systems	2011-10-07	Paper
Connection Tableaux with Lazy Paramodulation Automated Reasoning	2009-03-12	Paper
System for Automated Deduction (SAD): A Tool for Proof Verification Automated Deduction – CADE-21	2009-03-06	Paper
On Correctness of Mathematical Texts from a Logical and Practical Point of View Lecture Notes in Computer Science	2009-01-27	Paper
Connection tableaux with lazy paramodulation Journal of Automated Reasoning	2008-06-11	Paper
SAD as a mathematical assistant -- how should we go from here to there? Journal of Applied Logic	2007-02-20	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2005-08-26	Paper
scientific article; zbMATH DE number 2079533 (Why is no real title available?)	2004-07-28	Paper

Research outcomes over time

This page was built for person: Andrei Paskevich