scientific article
From MaRDI portal
Publication:2920108
DOI10.4230/LIPIcs.FSTTCS.2009.2302zbMath1248.68280MaRDI QIDQ2920108
Tomáš Vojnar, Lukáš Holík, Yu-Fang Chen, Parosh Aziz Abdulla
Publication date: 24 October 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_37a1.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Büchi automataalternating automataautomata minimizationsimulation preorderforward and backward simulationBüchi automata complementation
Related Items
Minimization of Visibly Pushdown Automata Using Partial Max-SAT, Büchi Automata Can Have Smaller Quotients, Mediating for reduction (on minimizing alternating Büchi automata)
Uses Software