Journal of the ACM Bibliography
Ravi
Sethi. Testing for the Church-Rosser property. Journal of the
ACM, 21(4):671-679, October 1974.
[BibTeX entry]
Additional Key Words and Phrases:
Church-Rosser systems, combinatorial theories
Selected papers that cite this one
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.
Shortcuts: