×

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