Pages that link to "Item:Q1581131"
From MaRDI portal
The following pages link to Invariants, patterns and weights for ordering terms (Q1581131):
Displaying 5 items.
- Weights for total division orderings on strings (Q1346630) (← links)
- 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)
- (Q4276397) (← links)
- Linear interpretations by counting patterns (Q5055811) (← links)