9th International Conference on Automated Deduction - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354019343x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

m-NEVER system summary

9th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0012874 ◽

2005 ◽

pp. 738-739 ◽

Cited By ~ 3

Author(s):

Bill Pase ◽

Sentot Kromodimoeljo

Download Full-text

An implementation of a dissolution-based system employing theory links

9th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0012864 ◽

2005 ◽

pp. 658-674 ◽

Cited By ~ 1

Author(s):

Neil V. Murray ◽

Erik Rosenthal

Download Full-text

Program synthesis by completion with dependent subtypes

9th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0012856 ◽

2005 ◽

pp. 550-562 ◽

Cited By ~ 1

Author(s):

Paul Jacquet

Keyword(s):

Program Synthesis

Download Full-text

Geometer: A theorem prover for algebraic geometry

9th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0012890 ◽

2005 ◽

pp. 770-771 ◽

Cited By ~ 1

Author(s):

David A. Cyrluk ◽

Richard M. Harris ◽

Deepak Kapur

Keyword(s):

Algebraic Geometry ◽

Theorem Prover

Download Full-text

Recursive query answering with non-horn clauses

9th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0012838 ◽

2005 ◽

pp. 294-312 ◽

Cited By ~ 5

Author(s):

Shan Chi ◽

Lawrence J. Henschen

Keyword(s):

Query Answering ◽

Horn Clauses ◽

Recursive Query

Download Full-text

A resolution calculus for modal logics

9th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0012852 ◽

2005 ◽

pp. 500-516 ◽

Cited By ~ 37

Author(s):

Hans Jürgen Ohlbach

Keyword(s):

Modal Logics ◽

Resolution Calculus

Download Full-text

Towards efficient "knowledge-based" automated theorem proving for non-standard logics

9th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0012833 ◽

2005 ◽

pp. 197-217 ◽

Cited By ~ 5

Author(s):

Michael A. McRobbie ◽

Robert K. Meyer ◽

Paul B. Thistlewaite

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Knowledge Based

Download Full-text

Logicalc: An environment for interactive proof development

9th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0012827 ◽

2005 ◽

pp. 121-130 ◽

Cited By ~ 1

Author(s):

D. Duchier ◽

D. McDermott

Keyword(s):

Interactive Proof

Download Full-text

Logical matrix generation and testing

9th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0012866 ◽

2005 ◽

pp. 685-693 ◽

Cited By ~ 1

Author(s):

Peter K. Malkin ◽

Errol P. Martin

Download Full-text

Single axioms in the implicational propositional calculus

9th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0012869 ◽

2005 ◽

pp. 710-713 ◽

Cited By ~ 4

Author(s):

Frank Pfenning

Keyword(s):

Propositional Calculus ◽

Single Axioms

Download Full-text

9th International Conference on Automated Deduction - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

m-NEVER system summary

An implementation of a dissolution-based system employing theory links

Program synthesis by completion with dependent subtypes

Geometer: A theorem prover for algebraic geometry

Recursive query answering with non-horn clauses

A resolution calculus for modal logics

Towards efficient "knowledge-based" automated theorem proving for non-standard logics

Logicalc: An environment for interactive proof development

Logical matrix generation and testing

Single axioms in the implicational propositional calculus

9th International Conference on Automated Deduction - Lecture Notes in Computer Science
Latest Publications