CADE-28: THE 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION

B
Barbosa, Haniel	Alethe: Towards a Generic SMT Proof Format (Extended Abstract)
Blot, Valentin	General Automation in Coq through Modular Transformations
Bonancina, Maria Paola	Proof Generation in CDSAT
D
Dubois de Prisque, Louise	General Automation in Coq through Modular Transformations
F
Fleury, Mathias	Alethe: Towards a Generic SMT Proof Format (Extended Abstract)
Fontaine, Pascal	Alethe: Towards a Generic SMT Proof Format (Extended Abstract)
G
Garchery, Quentin	A Framework for Proof-Carrying Logical Transformations
Gocht, Stephan	Certifying CNF Encodings of Pseudo-Boolean Constraints (extended abstract)
K
Keller, Chantal	General Automation in Coq through Modular Transformations
M
Magaud, Nicolas	Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant (extended abstract)
Martins, Ruben	Certifying CNF Encodings of Pseudo-Boolean Constraints (extended abstract)
N
Nordstrom, Jakob	Certifying CNF Encodings of Pseudo-Boolean Constraints (extended abstract)
R
Reger, Giles	Reasoning in Many Logics with Vampire: Everything's CNF in the End
S
Schurr, Hans-Jörg	Alethe: Towards a Generic SMT Proof Format (Extended Abstract)
V
Vial, Pierre	General Automation in Coq through Modular Transformations

Disclaimer | Powered by EasyChair Smart Program