Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata

DOI10.1007/978-3-642-28729-9_9zbMath1352.03026OpenAlexW2160423234MaRDI QIDQ2892766

Thomas Wilke, Sebastian Preugschat

Publication date: 22 June 2012

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28729-9_9

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)