Pages that link to "Item:Q1581131"

The following pages link to Invariants, patterns and weights for ordering terms (Q1581131):

Displaying 2 items.

• Orienting rewrite rules with the Knuth-Bendix order. (Q1401932) (← links)
• On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting (Q2502172) (← links)