On emptiness and counting for alternating finite automata

From MaRDI portal
Publication:5486002