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

Proving Properties of Incremental Merkle Trees

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_31 ◽

2005 ◽

pp. 424-440 ◽

Author(s):

Mizuhito Ogawa ◽

Eiichi Horita ◽

Satoshi Ono

Keyword(s):

Download Full-text

Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_12 ◽

2005 ◽

pp. 164-176 ◽

Author(s):

Guillem Godoy ◽

Ashish Tiwari

Keyword(s):

Rewrite Systems

Download Full-text

Proof Planning for First-Order Temporal Logic

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_17 ◽

2005 ◽

pp. 235-249 ◽

Author(s):

Claudio Castellini ◽

Alan Smaill

Keyword(s):

Temporal Logic ◽

Proof Planning ◽

Download Full-text

A Proof-Producing Decision Procedure for Real Arithmetic

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_22 ◽

2005 ◽

pp. 295-314 ◽

Author(s):

Sean McLaughlin ◽

John Harrison

Keyword(s):

Decision Procedure

Download Full-text

KRHyper – In Your Pocket

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_33 ◽

2005 ◽

pp. 452-457 ◽

Author(s):

Alex Sinner ◽

Thomas Kleemann

Download Full-text

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

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_10 ◽

2005 ◽

pp. 131-148 ◽

Author(s):

Ting Zhang ◽

Henny B. Sipma ◽

Zohar Manna

Keyword(s):

Order Theory ◽

First Order ◽

First Order Theory

Download Full-text

Nominal Techniques in Isabelle/HOL

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_4 ◽

2005 ◽

pp. 38-53 ◽

Author(s):

Christian Urban ◽

Christine Tasson

Download Full-text

Reasoning in Extensional Type Theory with Equality

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_3 ◽

2005 ◽

pp. 23-37 ◽

Author(s):

Chad E. Brown

Keyword(s):

Download Full-text

sKizzo: A Suite to Evaluate and Certify QBFs

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_27 ◽

2005 ◽

pp. 369-376 ◽

Author(s):

Marco Benedetti

Download Full-text

A Combination Method for Generating Interpolants

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_26 ◽

2005 ◽

pp. 353-368 ◽

Author(s):

Greta Yorsh ◽

Madanlal Musuvathi

Keyword(s):

Combination Method

Download Full-text