Automated Reasoning with Analytic Tableaux and Related Methods
From MaRDI portal
Publication:5187865
DOI10.1007/b12030zbMath1274.03038MaRDI QIDQ5187865
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
68Q25: Analysis of algorithms and problem complexity
03B45: Modal logic (including the logic of norms)
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
Related Items
The complexity of tree automata and XPath on grammar-compressed trees, Automata for XML -- a survey, Closure properties and decision problems of dag automata, Complexity of modal logics with Presburger constraints, Testing XML constraint satisfiability, A Rewrite Approach for Pattern Containment
Uses Software