Additional Key Words and Phrases: Church-Rosser systems, combinatorial theories
Selected papers that cite this one
- Barry K. Rosen. Correctness of parallel programs: The Church-Rosser approach. Theoretical Computer Science, 2(2):183-207, 1976.
- Ravi Sethi. Errata: ``Testing for the Church-Rosser property''. Journal of the ACM, 22(3):424, July 1975.
Selected references
- A. Cobham, R. Fridshal, and J. H. North. An application of linear programming to the minimization of Boolean functions. In Proceedings of the Second Annual Symposium and Papers from the First Annual Symposium on Switching Circuit Theory and Logical Design, pages 3-9. American Institute of Electrical Engineers, 1961, Conference held 17-20 October, 1961, in Detroit, Michigan.
- Barry K. Rosen. Tree-manipulating systems and Church-Rosser theorems. Journal of the ACM, 20(1):160-187, January 1973.