Pages that link to "Item:Q2502172"
From MaRDI portal
The following pages link to On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting (Q2502172):
Displaying 8 items.
- Real or natural number interpretation and their effect on complexity (Q2346989) (← links)
- Proving termination of context-sensitive rewriting with MU-TERM (Q2867963) (← links)
- Polynomial interpretations over the natural, rational and real numbers revisited (Q2921119) (← links)
- Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm (Q3357550) (← links)
- Polynomials over the reals in proofs of termination : from theory to practice (Q5313720) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464701) (← links)
- Search Techniques for Rational Polynomial Orders (Q5505493) (← links)
- Increasing Interpretations (Q5505499) (← links)