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

Theorem Proving with Bounded Rigid E-Unification

2015 ◽  
pp. 572-587 ◽  
Author(s):  
Peter Backeman ◽  
Philipp Rümmer
Keyword(s):  
Theorem Proving

Quantifier-Free Equational Logic and Prime Implicate Generation

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

scholarly journals Abstract Interpretation as Automated Deduction

2015 ◽  
pp. 450-464 ◽  
Author(s):  
Vijay D’Silva ◽  
Caterina Urban
Keyword(s):  
Abstract Interpretation ◽  
Automated Deduction

Playing with AVATAR

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

scholarly journals A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited

2015 ◽  
pp. 419-433 ◽  
Author(s):  
Paula Chocron ◽  
Pascal Fontaine ◽  
Christophe Ringeissen
Keyword(s):  
Combination Method

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