Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540223450, 9783540259848
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Formalizing O Notation in Isabelle/HOL

2004 ◽  
pp. 357-371 ◽  
Author(s):  
Jeremy Avigad ◽  
Kevin Donnelly

Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains

2004 ◽  
pp. 244-258 ◽  
Author(s):  
Ángel J. Gil ◽  
Miki Hermann ◽  
Gernot Salzer ◽  
Bruno Zanuttini
Keyword(s):  
Efficient Algorithms

Modular Proof Systems for Partial Functions with Weak Equality

2004 ◽  
pp. 168-182 ◽  
Author(s):  
Harald Ganzinger ◽  
Viorica Sofronie-Stokkermans ◽  
Uwe Waldmann
Keyword(s):  
Partial Functions ◽  
Proof Systems

The ICS Decision Procedures for Embedded Deduction

2004 ◽  
pp. 218-222 ◽  
Author(s):  
Leonardo de Moura ◽  
Sam Owre ◽  
Harald Rueß ◽  
John Rushby ◽  
Natarajan Shankar
Keyword(s):  
Decision Procedures
Load More ...
Sign in / Sign up

Export Citation Format

Share Document