PARTIALLY ORDERED TWO-WAY BÜCHI AUTOMATA
From MaRDI portal
Publication:3224953
DOI10.1142/S0129054111009082zbMath1251.68134MaRDI QIDQ3224953
Manfred Kufleitner, Alexander Lauser
Publication date: 13 March 2012
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0129054111009082
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
Related Items
Unnamed Item, Complexity of universality and related problems for partially ordered NFAs, Partially Ordered Two-Way Büchi Automata
Cites Work