The Complexity of the Equivalence Problem for Counter Machines, Semilinear Sets, and Simple Programs

Eitan M. Gurari, Oscar H. Ibarra

Browse the full STOC paper archive.