The Complexity of the Equivalence Problem for Straight-Line Programs

Oscar H. Ibarra, Brian S. Leininger. The Complexity of the Equivalence Problem for Straight-Line Programs. In Conference Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, 28-30 April, Los Angeles, California, USA. pages 273-280, ACM, 1980.

Abstract

Abstract is missing.