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

TOTAL DOCUMENTS

74

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540167808, 9783540398615

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Author(s):

Roland Dietrich

Keyword(s):

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 ◽

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 ◽

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 ◽

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 ◽

Author(s):

Steven Greenbaum ◽

David A. Plaisted

Keyword(s):

General Purpose ◽

Theorem Prover ◽

Resolution Theorem

Download Full-text

The markgraf karl refutation procedure (MKRP)

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

10.1007/3-540-16780-3_135 ◽

1986 ◽

pp. 681-682 ◽

Author(s):

N. Eisinger ◽

H. J. Ohlbach

Download Full-text

A prolog technology theorem prover: Implementation by an extended prolog compiler

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

10.1007/3-540-16780-3_122 ◽

1986 ◽

pp. 573-587 ◽

Author(s):

Mark E. Stickel

Keyword(s):

Theorem Prover ◽

Extended Prolog

Download Full-text

Mechanizing constructive proofs

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

10.1007/3-540-16780-3_107 ◽

1986 ◽

pp. 403-403

Author(s):

Gérard Huet

Keyword(s):

Constructive Proofs

Download Full-text