Automated Deduction—CADE-14 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540631040, 9783540691402

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Correction to: SATO: An Efficient Propositional Prover

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_45 ◽

2005 ◽

pp. E1-E1

Author(s):

Jürgen Ehrensberger ◽

Claus Zinn

Download Full-text

Decidable call by need computations in term rewriting (extended abstract)

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_2 ◽

1997 ◽

pp. 4-18 ◽

Cited By ~ 13

Author(s):

Irène Durand ◽

Aart Middeldorp

Keyword(s):

Term Rewriting

Download Full-text

Alternating automata: Unifying truth and validity checking for temporal logics

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_19 ◽

1997 ◽

pp. 191-206 ◽

Cited By ~ 16

Author(s):

Moshe Y. Vardi

Keyword(s):

Temporal Logics ◽

Alternating Automata

Download Full-text

Partial matching for analogy discovery in proofs and counter-examples

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_43 ◽

1997 ◽

pp. 431-445 ◽

Cited By ~ 3

Author(s):

Gilles Défourneaux ◽

Nicolas Peltier

Keyword(s):

Partial Matching

Download Full-text

SETHEO goes software engineering: Application of ATP to software reuse

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_9 ◽

1997 ◽

pp. 65-68 ◽

Cited By ~ 4

Author(s):

Bernd Fischer ◽

Johann M. Ph. Schumann

Keyword(s):

Software Engineering ◽

Software Reuse ◽

Engineering Application

Download Full-text

Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_5 ◽

1997 ◽

pp. 49-52 ◽

Cited By ~ 1

Author(s):

Robert Nieuwenhuis ◽

José Miguel Rivero ◽

Miguel Angel Vallejo

Keyword(s):

Data Structures ◽

Automated Deduction ◽

Data Structures And Algorithms

Download Full-text

Plagiator — A learning prover

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_24 ◽

1997 ◽

pp. 256-259 ◽

Cited By ~ 2

Author(s):

Thomas Kolbe ◽

Jürgen Brauburger

Download Full-text

Proof tactics for a theory of state machines in a graphical environment

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_35 ◽

1997 ◽

pp. 366-379 ◽

Cited By ~ 2

Author(s):

K. A. Eastaughffe ◽

M. A. Ozols ◽

A. Cant

Keyword(s):

State Machines ◽

Graphical Environment

Download Full-text

XBarnacle: Making theorem provers more accessible

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_39 ◽

1997 ◽

pp. 404-407 ◽

Cited By ~ 9

Author(s):

Helen Lowe ◽

David Duncan

Keyword(s):

Theorem Provers

Download Full-text

The char-set method and its applications to automated reasoning

Automated Deduction—CADE-14 - Lecture Notes in Computer Science ◽

10.1007/3-540-63104-6_1 ◽

1997 ◽

pp. 1-3 ◽

Cited By ~ 1

Author(s):

Wu Wen-Tsün

Keyword(s):

Automated Reasoning

Download Full-text

Automated Deduction—CADE-14 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Correction to: SATO: An Efficient Propositional Prover

Decidable call by need computations in term rewriting (extended abstract)

Alternating automata: Unifying truth and validity checking for temporal logics

Partial matching for analogy discovery in proofs and counter-examples

SETHEO goes software engineering: Application of ATP to software reuse

Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses

Plagiator — A learning prover

Proof tactics for a theory of state machines in a graphical environment

XBarnacle: Making theorem provers more accessible

The char-set method and its applications to automated reasoning

Automated Deduction—CADE-14 - Lecture Notes in Computer Science
Latest Publications