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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540405597, 9783540450856

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Foundational Certified Code in a Metalogical Framework

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

10.1007/978-3-540-45085-6_9 ◽

2003 ◽

pp. 106-120 ◽

Cited By ~ 10

Author(s):

Karl Crary ◽

Susmit Sarkar

Download Full-text

Matching in a Class of Combined Non-disjoint Theories

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

10.1007/978-3-540-45085-6_17 ◽

2003 ◽

pp. 212-227 ◽

Cited By ~ 3

Author(s):

Christophe Ringeissen

Download Full-text

The Model Evolution Calculus

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

10.1007/978-3-540-45085-6_32 ◽

2003 ◽

pp. 350-364 ◽

Cited By ~ 40

Author(s):

Peter Baumgartner ◽

Cesare Tinelli

Keyword(s):

Model Evolution

Download Full-text

The Complexity of Finite Model Reasoning in Description Logics

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

10.1007/978-3-540-45085-6_6 ◽

2003 ◽

pp. 60-74 ◽

Cited By ~ 5

Author(s):

Carsten Lutz ◽

Ulrike Sattler ◽

Lidia Tendera

Keyword(s):

Description Logics ◽

Finite Model

Download Full-text

Optimizing a BDD-Based Modal Solver

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

10.1007/978-3-540-45085-6_7 ◽

2003 ◽

pp. 75-89 ◽

Cited By ~ 12

Author(s):

Guoqiang Pan ◽

Moshe Y. Vardi

Download Full-text

Algorithms for Ordinal Arithmetic

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

10.1007/978-3-540-45085-6_19 ◽

2003 ◽

pp. 243-257 ◽

Cited By ~ 7

Author(s):

Panagiotis Manolios ◽

Daron Vroon

Download Full-text

Certifying Solutions to Permutation Group Problems

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

10.1007/978-3-540-45085-6_20 ◽

2003 ◽

pp. 258-273 ◽

Cited By ~ 2

Author(s):

Arjeh Cohen ◽

Scott H. Murray ◽

Martin Pollet ◽

Volker Sorge

Keyword(s):

Permutation Group

Download Full-text

Schematic Saturation for Decision and Unification Problems

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

10.1007/978-3-540-45085-6_37 ◽

2003 ◽

pp. 427-441

Author(s):

Christopher Lynch

Download Full-text

SAT-Based Counterexample Guided Abstraction Refinement in Model Checking

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

10.1007/978-3-540-45085-6_1 ◽

2003 ◽

pp. 1-1 ◽

Cited By ~ 2

Author(s):

Edmund M. Clarke

Keyword(s):

Model Checking ◽

Abstraction Refinement

Download Full-text

Subset Types and Partial Functions

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

10.1007/978-3-540-45085-6_12 ◽

2003 ◽

pp. 151-165 ◽

Cited By ~ 2

Author(s):

Aaron Stump

Keyword(s):

Partial Functions

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Foundational Certified Code in a Metalogical Framework

Matching in a Class of Combined Non-disjoint Theories

The Model Evolution Calculus

The Complexity of Finite Model Reasoning in Description Logics

Optimizing a BDD-Based Modal Solver

Algorithms for Ordinal Arithmetic

Certifying Solutions to Permutation Group Problems

Schematic Saturation for Decision and Unification Problems

SAT-Based Counterexample Guided Abstraction Refinement in Model Checking

Subset Types and Partial Functions

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