Orienting rewrite rules with the Knuth-Bendix order. (Q1401932)

From MaRDI portal





scientific article; zbMATH DE number 1967124
Language Label Description Also known as
English
Orienting rewrite rules with the Knuth-Bendix order.
scientific article; zbMATH DE number 1967124

    Statements

    Orienting rewrite rules with the Knuth-Bendix order. (English)
    0 references
    0 references
    0 references
    19 August 2003
    0 references
    Term rewriting
    0 references
    Orientability
    0 references
    Termination
    0 references
    Knuth-Bendix orders
    0 references
    Ordering constraints
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers