Combinations of simplifying conditional term rewriting systems (Q5881179)

From MaRDI portal
scientific article; zbMATH DE number 7661542
Language Label Description Also known as
English
Combinations of simplifying conditional term rewriting systems
scientific article; zbMATH DE number 7661542

    Statements

    Identifiers