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

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540655091, 9783540492108
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A. Appendix: Proofs

1998 ◽  
pp. 211-262
Author(s):  
Peter Baumgartner

5. Linearizing Completion

1998 ◽  
pp. 141-192
Author(s):  
Peter Baumgartner

1. Introduction

1998 ◽  
pp. 1-13
Author(s):  
Peter Baumgartner

What is Where?

1998 ◽  
pp. 263-266
Author(s):  
Peter Baumgartner

3. Tableau Model Elimination

1998 ◽  
pp. 49-63
Author(s):  
Peter Baumgartner
Keyword(s):  
Model Elimination

2. Logical Background

1998 ◽  
pp. 15-48
Author(s):  
Peter Baumgartner

6. Implementation

1998 ◽  
pp. 193-206
Author(s):  
Peter Baumgartner

7. Conclusions

1998 ◽  
pp. 207-209
Author(s):  
Peter Baumgartner

4. Theory Reasoning in Connection Calculi

1998 ◽  
pp. 65-140
Author(s):  
Peter Baumgartner
Keyword(s):  
Theory Reasoning
Load More ...
Sign in / Sign up

Export Citation Format

Share Document