Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540644064, 9783540697787
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fibring Semantic Tableaux

1998 ◽  
pp. 77-92 ◽  
Author(s):  
Bernhard Beckert ◽  
Dov Gabbay
Keyword(s):  
Semantic Tableaux

On Proof Complexity of Circumscription

1998 ◽  
pp. 141-155 ◽  
Author(s):  
Uwe Egly ◽  
Hans Tompits
Keyword(s):  
Proof Complexity

Optimised Functional Translation and Resolution

1998 ◽  
pp. 36-37 ◽  
Author(s):  
Ullrich Hustadt ◽  
Renate A. Schmidt ◽  
Christoph Weidenbach

Simplification and Backjumping in Modal Tableau

1998 ◽  
pp. 187-201 ◽  
Author(s):  
Ullrich Hustadt ◽  
Renate A. Schmidt

Logics Workbench 1.0

1998 ◽  
pp. 35-35 ◽  
Author(s):  
Peter Balsiger ◽  
Alain Heuerding ◽  
Stefan Schwendimann

FaCT and DLP

1998 ◽  
pp. 27-30 ◽  
Author(s):  
Ian Horrocks ◽  
Peter F. Patel-Schneider
Load More ...
Sign in / Sign up

Export Citation Format

Share Document