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

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

4

(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 ◽

Author(s):

Alex Pelin ◽

Jean H. Gallier

Keyword(s):

Word Problems ◽

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 ◽

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 ◽

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 ◽

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 ◽

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):

Download Full-text

Associative-commutative unification

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

10.1007/bfb0047122 ◽

2006 ◽

pp. 194-208 ◽

Author(s):

François Fages

Download Full-text

A satisfiability tester for non-clausal propositional calculus

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

10.1007/bfb0047116 ◽

2006 ◽

pp. 101-112

Author(s):

Allen Gelder

Keyword(s):

Propositional Calculus

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