Automated Deduction - CADE-25 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

42
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer International Publishing

9783319214009, 9783319214016
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Confluence Competition 2015

2015 ◽  
pp. 101-104 ◽  
Author(s):  
Takahito Aoto ◽  
Nao Hirokawa ◽  
Julian Nagele ◽  
Naoki Nishida ◽  
Harald Zankl

scholarly journals The Lean Theorem Prover (System Description)

2015 ◽  
pp. 378-388 ◽  
Author(s):  
Leonardo de Moura ◽  
Soonho Kong ◽  
Jeremy Avigad ◽  
Floris van Doorn ◽  
Jakob von Raumer
Keyword(s):  
Theorem Prover ◽  
System Description

Quantifier-Free Equational Logic and Prime Implicate Generation

2015 ◽  
pp. 311-325 ◽  
Author(s):  
Mnacho Echenim ◽  
Nicolas Peltier ◽  
Sophie Tourret
Keyword(s):  
Equational Logic

Playing with AVATAR

2015 ◽  
pp. 399-415 ◽  
Author(s):  
Giles Reger ◽  
Martin Suda ◽  
Andrei Voronkov

scholarly journals Program Synthesis Using Dual Interpretation

2015 ◽  
pp. 482-497 ◽  
Author(s):  
Ashish Tiwari ◽  
Adrià Gascón ◽  
Bruno Dutertre
Keyword(s):  
Program Synthesis ◽  
Dual Interpretation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document