Unambiguous and co-nondeterministic computations of finite automata and pushdown automata families and the effects of multiple counters

From MaRDI portal
Publication:6636064