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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 5

Author(s):

Peter Baumgartner ◽

J. D. Horton ◽

Bruce Spencer

Keyword(s):

Minimal Model

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 ◽

Cited By ~ 1

Author(s):

Fabio Massacci

Keyword(s):

Automated Reasoning ◽

Security Protocols

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):

Modal Logic

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 ◽

Cited By ~ 8

Author(s):

Peter F. Patel-Schneider ◽

Ian Horrocks

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 ◽

Cited By ~ 1

Author(s):

Andreas Wolf ◽

Joachim Draeger

Keyword(s):

Model Elimination

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 ◽

Cited By ~ 8

Author(s):

Heiko Mantel ◽

Jens Otten

Keyword(s):

Linear Logic

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 ◽

Cited By ~ 4

Author(s):

Martin Giese ◽

Wolfgang Ahrendt

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving

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 ◽

Cited By ~ 1

Author(s):

James Caldwell

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 ◽

Cited By ~ 1

Author(s):

Wolfgang May

Keyword(s):

Temporal Logic ◽

Temporal Connectives

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 ◽

Cited By ~ 3

Author(s):

Stéphane Demri ◽

Rajeev Goré

Keyword(s):

Display Calculi

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Merge Path Improvements for Minimal Model Hyper Tableaux

Automated Reasoning and the Verification of Security Protocols

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

DLP and FaCT

Strategy Parallel Use of Model Elimination with Lemmata

linTAP : A Tableau Prover for Linear Logic

Hilbert’s ∈-Terms in Automated Theorem Proving

Intuitionisitic Tableau Extracted

A Tableau Calculus for a Temporal Logic with Temporal Connectives

Cut-Free Display Calculi for Nominal Tense Logics

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