Path orderings for termination of associative-commutative rewriting (Q5881184)

From MaRDI portal
scientific article; zbMATH DE number 7661547
Language Label Description Also known as
English
Path orderings for termination of associative-commutative rewriting
scientific article; zbMATH DE number 7661547

    Statements

    Identifiers