Two-Way Counter Machines and Diophantine Equations

Eitan M. Gurari, Oscar H. Ibarra

Browse the full FOCS paper archive.