Church-Rosser theorems for replacement systems
- 1 January 1975
- book chapter
- Published by Springer Nature
- p. 291-307
- https://doi.org/10.1007/bfb0062861
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- An abstract Church-Rosser theorem. II: ApplicationsThe Journal of Symbolic Logic, 1974
- Ein algebraischer Beweis für das Church-Rosser-TheoremArchive for Mathematical Logic, 1972
- An Abstract form of the church-rosser theorem. IThe Journal of Symbolic Logic, 1970