Unambiguous and Co-nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters.

Tomoyuki Yamakami

Browse the full TAMC paper archive.