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

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