Unique normal forms for nonlinear term rewriting systems: Root overlaps (Q5055958)

From MaRDI portal
scientific article; zbMATH DE number 7631394
Language Label Description Also known as
English
Unique normal forms for nonlinear term rewriting systems: Root overlaps
scientific article; zbMATH DE number 7631394

    Statements