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

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540660866, 9783540487548

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Merge Path Improvements for Minimal Model Hyper Tableaux

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

10.1007/3-540-48754-9_9 ◽

1999 ◽

pp. 51-66 ◽

Author(s):

Peter Baumgartner ◽

J. D. Horton ◽

Bruce Spencer

Keyword(s):

Download Full-text

Automated Reasoning and the Verification of Security Protocols

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

10.1007/3-540-48754-9_6 ◽

1999 ◽

pp. 32-34 ◽

Author(s):

Fabio Massacci

Keyword(s):

Automated Reasoning ◽

Security Protocols

Download Full-text

Applying an $$ \mathcal{A}\mathcal{L}\mathcal{C} $$ ABox Consistency Tester to Modal Logic SAT Problems

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

10.1007/3-540-48754-9_4 ◽

1999 ◽

pp. 24-29

Author(s):

Volker Haarslev ◽

Ralf Möller

Keyword(s):

Download Full-text

DLP and FaCT

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

10.1007/3-540-48754-9_3 ◽

1999 ◽

pp. 19-23 ◽

Author(s):

Peter F. Patel-Schneider ◽

Ian Horrocks

Download Full-text

Strategy Parallel Use of Model Elimination with Lemmata

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

10.1007/3-540-48754-9_28 ◽

1999 ◽

pp. 319-323 ◽

Author(s):

Andreas Wolf ◽

Joachim Draeger

Keyword(s):

Model Elimination

Download Full-text

linTAP : A Tableau Prover for Linear Logic

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

10.1007/3-540-48754-9_20 ◽

1999 ◽

pp. 217-231 ◽

Author(s):

Heiko Mantel ◽

Jens Otten

Keyword(s):

Download Full-text

Hilbert’s ∈-Terms in Automated Theorem Proving

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

10.1007/3-540-48754-9_17 ◽

1999 ◽

pp. 171-185 ◽

Author(s):

Martin Giese ◽

Wolfgang Ahrendt

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving

Download Full-text

Intuitionisitic Tableau Extracted

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

10.1007/3-540-48754-9_11 ◽

1999 ◽

pp. 82-96 ◽

Author(s):

James Caldwell

Download Full-text

A Tableau Calculus for a Temporal Logic with Temporal Connectives

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

10.1007/3-540-48754-9_21 ◽

1999 ◽

pp. 232-246 ◽

Author(s):

Wolfgang May

Keyword(s):

Temporal Logic ◽

Temporal Connectives

Download Full-text

Cut-Free Display Calculi for Nominal Tense Logics

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

10.1007/3-540-48754-9_16 ◽

1999 ◽

pp. 155-170 ◽

Author(s):

Stéphane Demri ◽

Rajeev Goré

Keyword(s):

Display Calculi

Download Full-text