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

Eitan M. Gurari Oscar H. Ibarra

Published in: STOC (1979)

Keyphrases

decision problems
highly reliable
real world
computational cost
worst case
artificial intelligence
case study
programming language