Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540655091, 9783540492108

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A. Appendix: Proofs

Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science ◽

10.1007/10692875_8 ◽

1998 ◽

pp. 211-262

Author(s):

Peter Baumgartner

Download Full-text

5. Linearizing Completion

Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science ◽

10.1007/10692875_5 ◽

1998 ◽

pp. 141-192

Author(s):

Peter Baumgartner

Download Full-text

1. Introduction

Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science ◽

10.1007/10692875_1 ◽

1998 ◽

pp. 1-13

Author(s):

Peter Baumgartner

Download Full-text

What is Where?

Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science ◽

10.1007/10692875_9 ◽

1998 ◽

pp. 263-266

Author(s):

Peter Baumgartner

Download Full-text

3. Tableau Model Elimination

Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science ◽

10.1007/10692875_3 ◽

1998 ◽

pp. 49-63

Author(s):

Peter Baumgartner

Keyword(s):

Model Elimination

Download Full-text

2. Logical Background

Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science ◽

10.1007/10692875_2 ◽

1998 ◽

pp. 15-48

Author(s):

Peter Baumgartner

Download Full-text

6. Implementation

Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science ◽

10.1007/10692875_6 ◽

1998 ◽

pp. 193-206

Author(s):

Peter Baumgartner

Download Full-text

7. Conclusions

Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science ◽

10.1007/10692875_7 ◽

1998 ◽

pp. 207-209

Author(s):

Peter Baumgartner

Download Full-text

4. Theory Reasoning in Connection Calculi

Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science ◽

10.1007/10692875_4 ◽

1998 ◽

pp. 65-140

Author(s):

Peter Baumgartner

Keyword(s):

Theory Reasoning

Download Full-text

Theory Reasoning in Connection Calculi - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A. Appendix: Proofs

5. Linearizing Completion

1. Introduction

What is Where?

3. Tableau Model Elimination

2. Logical Background

6. Implementation

7. Conclusions

4. Theory Reasoning in Connection Calculi

Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science
Latest Publications