8th 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 Berlin Heidelberg

9783540167808, 9783540398615

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The karlsruhe induction theorem proving system

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

10.1007/3-540-16780-3_132 ◽

1986 ◽

pp. 672-674 ◽

Cited By ~ 25

Author(s):

S. Biundo ◽

B. Hummel ◽

D. Hutter ◽

C. Walther

Keyword(s):

Theorem Proving

Download Full-text

A geometry theorem prover based on Buchberger's algorithm

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

10.1007/3-540-16780-3_141 ◽

1986 ◽

pp. 693-694 ◽

Cited By ~ 1

Author(s):

B. Kutzler ◽

S. Stifter

Keyword(s):

Theorem Prover

Download Full-text

Unification in boolean rings

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

10.1007/3-540-16780-3_115 ◽

1986 ◽

pp. 506-513 ◽

Cited By ~ 12

Author(s):

Ursula Martin ◽

Tobias Nipkow

Keyword(s):

Boolean Rings

Download Full-text

ECR: An equality conditional resolution proof procedure

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

10.1007/3-540-16780-3_95 ◽

1986 ◽

pp. 254-271

Author(s):

Tie Cheng Wang

Keyword(s):

Proof Procedure ◽

Resolution Proof

Download Full-text

The heuristics and experimental results of a new hyperparamodulation: HL-resolution

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

10.1007/3-540-16780-3_94 ◽

1986 ◽

pp. 240-253

Author(s):

Younghwan Lim

Keyword(s):

Experimental Results

Download Full-text

Relating resolution and algebraic completion for Horn logic

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

10.1007/3-540-16780-3_80 ◽

1986 ◽

pp. 62-78 ◽

Cited By ~ 2

Author(s):

Roland Dietrich

Keyword(s):

Horn Logic

Download Full-text

The KLAUS automated deduction system

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

10.1007/3-540-16780-3_146 ◽

1986 ◽

pp. 703-704 ◽

Cited By ~ 1

Author(s):

Mark E. Stickel

Keyword(s):

Automated Deduction ◽

Deduction System

Download Full-text

ITP at argonne national laboratory

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

10.1007/3-540-16780-3_143 ◽

1986 ◽

pp. 697-698 ◽

Cited By ~ 3

Author(s):

Ewing Lusk ◽

William McCune ◽

Ross Overbeek

Keyword(s):

National Laboratory ◽

Argonne National Laboratory

Download Full-text

Theorem proving systems of the Formel project

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

10.1007/3-540-16780-3_138 ◽

1986 ◽

pp. 687-688 ◽

Cited By ~ 1

Author(s):

Gérard Huet

Keyword(s):

Theorem Proving

Download Full-text

The illinois prover: A general purpose resolution theorem prover

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

10.1007/3-540-16780-3_137 ◽

1986 ◽

pp. 685-686 ◽

Cited By ~ 2

Author(s):

Steven Greenbaum ◽

David A. Plaisted

Keyword(s):

General Purpose ◽

Theorem Prover ◽

Resolution Theorem

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The karlsruhe induction theorem proving system

A geometry theorem prover based on Buchberger's algorithm

Unification in boolean rings

ECR: An equality conditional resolution proof procedure

The heuristics and experimental results of a new hyperparamodulation: HL-resolution

Relating resolution and algebraic completion for Horn logic

The KLAUS automated deduction system

ITP at argonne national laboratory

Theorem proving systems of the Formel project

The illinois prover: A general purpose resolution theorem prover

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