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

Monotonicity Inference for Higher-Order Formulas

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

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

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