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

3540115587

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Knowledge retrieval as limited inference

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

10.1007/bfb0000065 ◽

2005 ◽

pp. 274-291 ◽

Cited By ~ 9

Author(s):

Alan M. Frisch ◽

James F. Allen

Keyword(s):

Knowledge Retrieval

Download Full-text

Exponential improvement of exhaustive backtracking: data structure and implementation

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

10.1007/bfb0000063 ◽

2005 ◽

pp. 240-259 ◽

Cited By ~ 5

Author(s):

Stanislaw Matwin ◽

Tomasz Pietrzykowski

Keyword(s):

Data Structure

Download Full-text

Intuitionistic basis for non-monotonic logic

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

10.1007/bfb0000064 ◽

2005 ◽

pp. 260-273 ◽

Cited By ~ 22

Author(s):

Dov M. Gabbay

Download Full-text

Solving open questions with an automated theorem-proving program

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

10.1007/bfb0000049 ◽

2005 ◽

pp. 1-31 ◽

Cited By ~ 7

Author(s):

L. Wos

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Open Questions

Download Full-text

The power of the Church-Rosser property for string rewriting systems

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

10.1007/bfb0000070 ◽

2005 ◽

pp. 360-368 ◽

Cited By ~ 8

Author(s):

Ronald V. Book

Keyword(s):

Rewriting Systems ◽

String Rewriting ◽

The Church

Download Full-text

An example of FOL using metatheory

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

10.1007/bfb0000057 ◽

2005 ◽

pp. 151-158 ◽

Cited By ~ 1

Author(s):

Richard W. Weyhrauch

Download Full-text

Derived preconditions and their use in program synthesis

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

10.1007/bfb0000059 ◽

2005 ◽

pp. 172-193 ◽

Cited By ~ 9

Author(s):

Douglas R. Smith

Keyword(s):

Program Synthesis

Download Full-text

Representing infinite sequences of resolvents in recursive First-Order Horn Databases

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

10.1007/bfb0000069 ◽

2005 ◽

pp. 342-359 ◽

Cited By ~ 1

Author(s):

Lawrence J. Henschen ◽

Shamim A. Naqvi

Keyword(s):

First Order ◽

Infinite Sequences

Download Full-text

A look at TPS

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

10.1007/bfb0000051 ◽

2005 ◽

pp. 50-69 ◽

Cited By ~ 6

Author(s):

Dale A. Miller ◽

Eve Longini Cohen ◽

Peter B. Andrews

Download Full-text

Meta-level inference and program verification

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

10.1007/bfb0000056 ◽

2005 ◽

pp. 144-150 ◽

Cited By ~ 4

Author(s):

Leon Sterling ◽

Alan Bundy

Keyword(s):

Program Verification ◽

Meta Level

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Knowledge retrieval as limited inference

Exponential improvement of exhaustive backtracking: data structure and implementation

Intuitionistic basis for non-monotonic logic

Solving open questions with an automated theorem-proving program

The power of the Church-Rosser property for string rewriting systems

An example of FOL using metatheory

Derived preconditions and their use in program synthesis

Representing infinite sequences of resolvents in recursive First-Order Horn Databases

A look at TPS

Meta-level inference and program verification

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