On Counter Machines, Reachability Problems, and Diophantine Equations

Oscar H. Ibarra, Zhe Dang, Linmin Yang. On Counter Machines, Reachability Problems, and Diophantine Equations. Int. J. Found. Comput. Sci., 19(4):919-934, 2008. [doi]

Abstract

Abstract is missing.