Inproceedings,

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

, and .
STOC, page 142-152. ACM, (1979)

Meta data

Tags

Users

  • @dblp

Comments and Reviews