Nondeterminism Is Essential for Two-Way Counter Machines.

Marek Chrobak

Browse the full MFCS paper archive.