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

9783642405365, 9783642405372

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bounded Proofs and Step Frames

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

10.1007/978-3-642-40537-2_6 ◽

2013 ◽

pp. 44-58 ◽

Cited By ~ 2

Author(s):

Nick Bezhanishvili ◽

Silvio Ghilardi

Download Full-text

A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions

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

10.1007/978-3-642-40537-2_3 ◽

2013 ◽

pp. 10-12

Author(s):

Tobias Nipkow ◽

Maximilian Haslbeck

Keyword(s):

Decision Procedures ◽

Regular Expressions

Download Full-text

TATL: Implementation of ATL Tableau-Based Decision Procedure

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

10.1007/978-3-642-40537-2_10 ◽

2013 ◽

pp. 97-103 ◽

Cited By ~ 5

Author(s):

Amélie David

Keyword(s):

Decision Procedure

Download Full-text

Dealing with Symmetries in Modal Tableaux

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

10.1007/978-3-642-40537-2_4 ◽

2013 ◽

pp. 13-27

Author(s):

Carlos Areces ◽

Ezequiel Orbe

Download Full-text

Prefixed Tableau Systems for Logic of Proofs and Provability

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

10.1007/978-3-642-40537-2_18 ◽

2013 ◽

pp. 203-218

Author(s):

Hidenori Kurokawa

Keyword(s):

Logic Of Proofs ◽

Tableau Systems

Download Full-text

Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5

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

10.1007/978-3-642-40537-2_19 ◽

2013 ◽

pp. 219-233 ◽

Cited By ~ 5

Author(s):

Björn Lellmann ◽

Dirk Pattinson

Download Full-text

Tableaux for Verification of Data-Centric Processes

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

10.1007/978-3-642-40537-2_5 ◽

2013 ◽

pp. 28-43 ◽

Cited By ~ 1

Author(s):

Andreas Bauer ◽

Peter Baumgartner ◽

Martin Diller ◽

Michael Norrish

Download Full-text

Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes

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

10.1007/978-3-642-40537-2_13 ◽

2013 ◽

pp. 134-148 ◽

Cited By ~ 3

Author(s):

Ulrich Furbach ◽

Claudia Schon

Download Full-text

Witness Runs for Counter Machines

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

10.1007/978-3-642-40537-2_1 ◽

2013 ◽

pp. 1-4

Author(s):

Clark Barrett ◽

Stéphane Demri ◽

Morgan Deters

Keyword(s):

Counter Machines

Download Full-text

A Terminating Evaluation-Driven Variant of G3i

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

10.1007/978-3-642-40537-2_11 ◽

2013 ◽

pp. 104-118 ◽

Cited By ~ 2

Author(s):

Mauro Ferrari ◽

Camillo Fiorentini ◽

Guido Fiorino

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Bounded Proofs and Step Frames

A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions

TATL: Implementation of ATL Tableau-Based Decision Procedure

Dealing with Symmetries in Modal Tableaux

Prefixed Tableau Systems for Logic of Proofs and Provability

Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5

Tableaux for Verification of Data-Centric Processes

Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes

Witness Runs for Counter Machines

A Terminating Evaluation-Driven Variant of G3i

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