Alternation Elimination by Complementation (Extended Abstract)

DOI10.1007/978-3-540-89439-1_16zbMath1182.68102OpenAlexW1566206239MaRDI QIDQ5505555

Felix Klaedtke, Christian Dax

Publication date: 27 January 2009

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89439-1_16

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (5)

Size-Change Termination and Satisfiability for Linear-Time Temporal Logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On regular temporal logics with past ⋮ The Complexity of Flat Freeze LTL

This page was built for publication: Alternation Elimination by Complementation (Extended Abstract)