Tree-Manipulating Systems and Church-Rosser Theorems (Q5684229)

From MaRDI portal
scientific article; zbMATH DE number 3421907
Language Label Description Also known as
English
Tree-Manipulating Systems and Church-Rosser Theorems
scientific article; zbMATH DE number 3421907

    Statements

    Tree-Manipulating Systems and Church-Rosser Theorems (English)
    0 references
    0 references
    0 references
    1973
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references