Pages that link to "Item:Q3582701"
From MaRDI portal
The following pages link to From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals (Q3582701):
Displaying 3 items.
- Matrix interpretations for proving termination of term rewriting (Q928655) (← links)
- On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting (Q2502172) (← links)
- Polynomial interpretations over the natural, rational and real numbers revisited (Q2921119) (← links)