Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642142024, 9783642142031
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic

2010 ◽  
pp. 384-399 ◽  
Author(s):  
Angelo Brillout ◽  
Daniel Kroening ◽  
Philipp Rümmer ◽  
Thomas Wahl
Keyword(s):  
Sequent Calculus ◽  
Presburger Arithmetic

Monotonicity Inference for Higher-Order Formulas

2010 ◽  
pp. 91-106 ◽  
Author(s):  
Jasmin Christian Blanchette ◽  
Alexander Krauss
Keyword(s):  
Higher Order

scholarly journals Sledgehammer: Judgement Day

2010 ◽  
pp. 107-121 ◽  
Author(s):  
Sascha Böhme ◽  
Tobias Nipkow

scholarly journals A Single-Significant-Digit Calculus for Semi-Automated Guesstimation

2010 ◽  
pp. 354-368
Author(s):  
Jonathan A. Abourbih ◽  
Luke Blaney ◽  
Alan Bundy ◽  
Fiona McNeill
Keyword(s):  
Significant Digit
Load More ...
Sign in / Sign up

Export Citation Format

Share Document