Partially Ordered Two-Way Büchi Automata
From MaRDI portal
Publication:3073637
DOI10.1007/978-3-642-18098-9_20zbMath1297.03025arXiv1006.2719OpenAlexW1817436990MaRDI QIDQ3073637
Manfred Kufleitner, Alexander Lauser
Publication date: 11 February 2011
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1006.2719
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automates boustrophédon et mots infinis
- The complementation problem for Büchi automata with applications to temporal logic
- Classifying regular events in symbolic logic
- Polynomial closure and unambiguous product
- PARTIALLY ORDERED TWO-WAY BÜCHI AUTOMATA
- Around Dot Depth Two
- Fragments of First-Order Logic over Infinite Words.
- Mathematical Foundations of Computer Science 2005