×

zbMATH — the first resource for mathematics

Tree-manipulating systems and Church-Rosser theorems. (English) Zbl 0267.68013

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
Full Text: DOI