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

Optimised Functional Translation and Resolution

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

10.1007/3-540-69778-0_9 ◽

1998 ◽

pp. 36-37 ◽

Author(s):

Ullrich Hustadt ◽

Renate A. Schmidt ◽

Christoph Weidenbach

Download Full-text

Simplification and Backjumping in Modal Tableau

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

10.1007/3-540-69778-0_22 ◽

1998 ◽

pp. 187-201 ◽

Author(s):

Ullrich Hustadt ◽

Renate A. Schmidt

Download Full-text

Fibring Semantic Tableaux

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

10.1007/3-540-69778-0_15 ◽

1998 ◽

pp. 77-92 ◽

Author(s):

Bernhard Beckert ◽

Dov Gabbay

Keyword(s):

Semantic Tableaux

Download Full-text

On Proof Complexity of Circumscription

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

10.1007/3-540-69778-0_19 ◽

1998 ◽

pp. 141-155 ◽

Author(s):

Uwe Egly ◽

Hans Tompits

Keyword(s):

Proof Complexity

Download Full-text

A New One-Pass Tableau Calculus for PLTL

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

10.1007/3-540-69778-0_28 ◽

1998 ◽

pp. 277-291 ◽

Author(s):

Stefan Schwendimann

Download Full-text

Comparison of Theorem Provers for Modal Logics — Introduction and Summary

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

10.1007/3-540-69778-0_4 ◽

1998 ◽

pp. 25-26 ◽

Author(s):

Peter Balsiger ◽

Alain Heuerding

Keyword(s):

Modal Logics ◽

Theorem Provers

Download Full-text

Philosophical Aspects of Computerized Verification of Mathematics

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

10.1007/3-540-69778-0_1 ◽

1998 ◽

pp. 1-9

Author(s):

N. G. de Bruijn

Download Full-text

Model Checking: Historical Perspective and Example (Extended Abstract)

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

10.1007/3-540-69778-0_3 ◽

1998 ◽

pp. 18-24 ◽

Author(s):

Edmund M. Clarke ◽

Sergey Berezin

Keyword(s):

Model Checking ◽

Historical Perspective

Download Full-text

Bounded Model Search in Linear Temporal Logic and Its Application to Planning

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

10.1007/3-540-69778-0_18 ◽

1998 ◽

pp. 124-140 ◽

Author(s):

Serenella Cerrito ◽

Marta Cialdea Mayer

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Download Full-text

Logics Workbench 1.0

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

10.1007/3-540-69778-0_8 ◽

1998 ◽

pp. 35-35 ◽

Author(s):

Peter Balsiger ◽

Alain Heuerding ◽

Stefan Schwendimann

Download Full-text