Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/b12030zbMath1274.03038OpenAlexW4302076531MaRDI QIDQ5187865

Maarten Marx

Publication date: 9 March 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b12030

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (6)

Complexity of modal logics with Presburger constraints ⋮ A Rewrite Approach for Pattern Containment ⋮ The complexity of tree automata and XPath on grammar-compressed trees ⋮ Automata for XML -- a survey ⋮ Closure properties and decision problems of dag automata ⋮ Testing XML constraint satisfiability

Uses Software

• XPath

This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods