Rosen, Barry K. Tree-manipulating systems and Church-Rosser theorems. (English) Zbl 0267.68013 J. Assoc. Comput. Mach. 20, 160-187 (1973). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 112 Documents MSC: 68N01 General topics in the theory of software 68-00 General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science 68Q45 Formal languages and automata 05C05 Trees 03D20 Recursive functions and relations, subrecursive hierarchies PDF BibTeX XML Cite \textit{B. K. Rosen}, J. Assoc. Comput. Mach. 20, 160--187 (1973; Zbl 0267.68013) Full Text: DOI