7th 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

0387960228

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Solving word problems in free algebras using complexity functions

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

10.1007/bfb0047138 ◽

2006 ◽

pp. 476-495 ◽

Cited By ~ 1

Author(s):

Alex Pelin ◽

Jean H. Gallier

Keyword(s):

Word Problems ◽

Free Algebras

Download Full-text

Applications of protected circumscription

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

10.1007/bfb0047134 ◽

2006 ◽

pp. 414-425 ◽

Cited By ~ 1

Author(s):

Jack Minker ◽

Donald Perlis

Download Full-text

A narrowing procedure for theories with constructors

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

10.1007/bfb0047126 ◽

2006 ◽

pp. 259-281 ◽

Cited By ~ 3

Author(s):

L. Fribourg

Download Full-text

A new equational unification method : A generalisation of Martelli-Montanari's algorithm

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

10.1007/bfb0047124 ◽

2006 ◽

pp. 224-247 ◽

Cited By ~ 1

Author(s):

Claude Kirchner

Keyword(s):

Equational Unification

Download Full-text

A linear time algorithm for a subcase of second order instantiation

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

10.1007/bfb0047123 ◽

2006 ◽

pp. 209-223 ◽

Cited By ~ 1

Author(s):

Donald Simon

Keyword(s):

Linear Time ◽

Time Algorithm ◽

Second Order ◽

Linear Time Algorithm

Download Full-text

A natural proof system based on rewriting techniques

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

10.1007/bfb0047113 ◽

2006 ◽

pp. 53-64

Author(s):

Deepak Kapur ◽

Balakrishnan Krishnamurthy

Keyword(s):

Proof System

Download Full-text

Solving a problem in relevance logic with an automated theorem prover

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

10.1007/bfb0047139 ◽

2006 ◽

pp. 496-508

Author(s):

Hans-Jürgen Ohlbach ◽

Graham Wrightson

Keyword(s):

Relevance Logic ◽

Theorem Prover ◽

Automated Theorem Prover

Download Full-text

The linked inference principle, II: The user's viewpoint

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

10.1007/bfb0047129 ◽

2006 ◽

pp. 316-332

Author(s):

L. Wos ◽

R. Veroff ◽

B. Smith ◽

W. McCune

Download Full-text

A case study of theorem proving by the Knuth-Bendix method: Discovering that x 3 = x implies ring commutativity

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

10.1007/bfb0047125 ◽

2006 ◽

pp. 248-258 ◽

Cited By ~ 2

Author(s):

Mark E. Stickel

Keyword(s):

Theorem Proving

Download Full-text

Termination of a set of rules modulo a set of equations

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

10.1007/bfb0047121 ◽

2006 ◽

pp. 175-193 ◽

Cited By ~ 3

Author(s):

Jean-Pierre Jouannaud ◽

Miguel Munoz

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Solving word problems in free algebras using complexity functions

Applications of protected circumscription

A narrowing procedure for theories with constructors

A new equational unification method : A generalisation of Martelli-Montanari's algorithm

A linear time algorithm for a subcase of second order instantiation

A natural proof system based on rewriting techniques

Solving a problem in relevance logic with an automated theorem prover

The linked inference principle, II: The user's viewpoint

A case study of theorem proving by the Knuth-Bendix method: Discovering that x 3 = x implies ring commutativity

Termination of a set of rules modulo a set of equations

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