Combining limited parallelism and nondeterminism in alternating finite automata

From MaRDI portal
Publication:2040412