Automated Deduction – CADE-22 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642029585, 9783642029592
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Termination Analysis by Dependency Pairs and Inductive Theorem Proving

2009 ◽  
pp. 322-338 ◽  
Author(s):  
Stephan Swiderski ◽  
Michael Parting ◽  
Jürgen Giesl ◽  
Carsten Fuhs ◽  
Peter Schneider-Kamp
Keyword(s):  
Theorem Proving ◽  
Termination Analysis ◽  
Inductive Theorem Proving ◽  
Dependency Pairs

scholarly journals A Generalization of Semenov’s Theorem to Automata over Real Numbers

2009 ◽  
pp. 469-484 ◽  
Author(s):  
Bernard Boigelot ◽  
Julien Brusten ◽  
Jérôme Leroux
Keyword(s):  
Real Numbers

Progress in the Development of Automated Theorem Proving for Higher-Order Logic

2009 ◽  
pp. 116-130 ◽  
Author(s):  
Geoff Sutcliffe ◽  
Christoph Benzmüller ◽  
Chad E. Brown ◽  
Frank Theiss
Keyword(s):  
Theorem Proving ◽  
Automated Theorem Proving ◽  
Higher Order ◽  
Order Logic ◽  
Higher Order Logic

On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving

2009 ◽  
pp. 35-50 ◽  
Author(s):  
Maria Paola Bonacina ◽  
Christopher Lynch ◽  
Leonardo de Moura
Keyword(s):  
Theorem Proving

Fair Derivations in Monodic Temporal Reasoning

2009 ◽  
pp. 261-276 ◽  
Author(s):  
Michel Ludwig ◽  
Ullrich Hustadt
Keyword(s):  
Temporal Reasoning

scholarly journals Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic

2009 ◽  
pp. 294-305 ◽  
Author(s):  
Cristina Borralleras ◽  
Salvador Lucas ◽  
Rafael Navarro-Marset ◽  
Enric Rodríguez-Carbonell ◽  
Albert Rubio
Keyword(s):  
Linear Arithmetic ◽  
Linear Polynomial ◽  
Non Linear

scholarly journals Real World Verification

2009 ◽  
pp. 485-501 ◽  
Author(s):  
André Platzer ◽  
Jan-David Quesel ◽  
Philipp Rümmer
Keyword(s):  
Real World
Load More ...
Sign in / Sign up

Export Citation Format

Share Document