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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540735946, 9783540735953

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Encoding First Order Proofs in SAT

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

10.1007/978-3-540-73595-3_35 ◽

2007 ◽

pp. 476-491 ◽

Cited By ~ 3

Author(s):

Todd Deshane ◽

Wenjin Hu ◽

Patty Jablonski ◽

Hai Lin ◽

Christopher Lynch ◽

...

Keyword(s):

First Order

Download Full-text

Labelled Clauses

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

10.1007/978-3-540-73595-3_21 ◽

2007 ◽

pp. 311-327 ◽

Cited By ~ 4

Author(s):

Tal Lev-Ami ◽

Christoph Weidenbach ◽

Thomas Reps ◽

Mooly Sagiv

Download Full-text

Logical Interpretation: Static Program Analysis Using Theorem Proving

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

10.1007/978-3-540-73595-3_11 ◽

2007 ◽

pp. 147-166 ◽

Cited By ~ 14

Author(s):

Ashish Tiwari ◽

Sumit Gulwani

Keyword(s):

Theorem Proving ◽

Program Analysis ◽

Static Program Analysis ◽

Logical Interpretation

Download Full-text

Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$

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

10.1007/978-3-540-73595-3_7 ◽

2007 ◽

pp. 84-99 ◽

Cited By ~ 15

Author(s):

Carsten Lutz ◽

Frank Wolterinst

Keyword(s):

Description Logic ◽

Conservative Extensions

Download Full-text

Predictive Labeling with Dependency Pairs Using SAT

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

10.1007/978-3-540-73595-3_31 ◽

2007 ◽

pp. 410-425 ◽

Cited By ~ 4

Author(s):

Adam Koprowski ◽

Aart Middeldorp

Keyword(s):

Dependency Pairs

Download Full-text

A Labelled System for IPL with Variable Splitting

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

10.1007/978-3-540-73595-3_10 ◽

2007 ◽

pp. 132-146 ◽

Cited By ~ 3

Author(s):

Roger Antonsen ◽

Arild Waaler

Keyword(s):

Variable Splitting

Download Full-text

The KeY system 1.0 (Deduction Component)

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

10.1007/978-3-540-73595-3_26 ◽

2007 ◽

pp. 379-384 ◽

Cited By ~ 6

Author(s):

Bernhard Beckert ◽

Martin Giese ◽

Reiner Hähnle ◽

Vladimir Klebanov ◽

Philipp Rümmer ◽

...

Download Full-text

Improvements in Formula Generalization

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

10.1007/978-3-540-73595-3_16 ◽

2007 ◽

pp. 231-246 ◽

Cited By ~ 3

Author(s):

Markus Aderhold

Download Full-text

Barendregt’s Variable Convention in Rule Inductions

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

10.1007/978-3-540-73595-3_4 ◽

2007 ◽

pp. 35-50 ◽

Cited By ~ 28

Author(s):

Christian Urban ◽

Stefan Berghofer ◽

Michael Norrish

Download Full-text

Dependency Pairs for Rewriting with Non-free Constructors

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

10.1007/978-3-540-73595-3_32 ◽

2007 ◽

pp. 426-442 ◽

Cited By ~ 3

Author(s):

Stephan Falke ◽

Deepak Kapur

Keyword(s):

Dependency Pairs

Download Full-text

Automated Deduction – CADE-21 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Encoding First Order Proofs in SAT

Labelled Clauses

Logical Interpretation: Static Program Analysis Using Theorem Proving

Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$

Predictive Labeling with Dependency Pairs Using SAT

A Labelled System for IPL with Variable Splitting

The KeY system 1.0 (Deduction Component)

Improvements in Formula Generalization

Barendregt’s Variable Convention in Rule Inductions

Dependency Pairs for Rewriting with Non-free Constructors

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