On the Computational Complexity of Program Scheme Equivalence
- 1 May 1980
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 9 (2) , 396-416
- https://doi.org/10.1137/0209031
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Decidable Properties of Monadic Functional SchemasJournal of the ACM, 1973
- Program schemes, recursion schemes, and formal languagesJournal of Computer and System Sciences, 1973
- Describing an algorithm by HopcroftActa Informatica, 1973
- The Equivalence Problem of Simple ProgramsJournal of the ACM, 1970
- On formalised computer programsJournal of Computer and System Sciences, 1970
- Regular expressions and the equivalence of programsJournal of Computer and System Sciences, 1969