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

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540280057, 9783540318644
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Proof-Producing Decision Procedure for Real Arithmetic

2005 ◽  
pp. 295-314 ◽  
Author(s):  
Sean McLaughlin ◽  
John Harrison
Keyword(s):  
Decision Procedure

Proving Properties of Incremental Merkle Trees

2005 ◽  
pp. 424-440 ◽  
Author(s):  
Mizuhito Ogawa ◽  
Eiichi Horita ◽  
Satoshi Ono
Keyword(s):  
Merkle Trees

scholarly journals Proof Planning for First-Order Temporal Logic

2005 ◽  
pp. 235-249 ◽  
Author(s):  
Claudio Castellini ◽  
Alan Smaill
Keyword(s):  
Temporal Logic ◽  
Proof Planning ◽  
First Order

Nominal Techniques in Isabelle/HOL

2005 ◽  
pp. 38-53 ◽  
Author(s):  
Christian Urban ◽  
Christine Tasson

KRHyper – In Your Pocket

2005 ◽  
pp. 452-457 ◽  
Author(s):  
Alex Sinner ◽  
Thomas Kleemann

scholarly journals The Decidability of the First-Order Theory of Knuth-Bendix Order

2005 ◽  
pp. 131-148 ◽  
Author(s):  
Ting Zhang ◽  
Henny B. Sipma ◽  
Zohar Manna
Keyword(s):  
Order Theory ◽  
First Order ◽  
First Order Theory

Reasoning in Extensional Type Theory with Equality

2005 ◽  
pp. 23-37 ◽  
Author(s):  
Chad E. Brown
Keyword(s):  
Type Theory

sKizzo: A Suite to Evaluate and Certify QBFs

2005 ◽  
pp. 369-376 ◽  
Author(s):  
Marco Benedetti

A Combination Method for Generating Interpolants

2005 ◽  
pp. 353-368 ◽  
Author(s):  
Greta Yorsh ◽  
Madanlal Musuvathi
Keyword(s):  
Combination Method
Load More ...
Sign in / Sign up

Export Citation Format

Share Document