Pages that link to "Item:Q1346630"
From MaRDI portal
The following pages link to Weights for total division orderings on strings (Q1346630):
Displaying 4 items.
- Weight ideals associated to regular and log-linear arrays. (Q741250) (← links)
- Invariants, patterns and weights for ordering terms (Q1581131) (← links)
- On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting (Q2502172) (← links)
- Theorem proving with group presentations: Examples and questions (Q4647534) (← links)
