Pages that link to "Item:Q2921119"
From MaRDI portal
The following pages link to Polynomial interpretations over the natural, rational and real numbers revisited (Q2921119):
Displaying 4 items.
- Real or natural number interpretation and their effect on complexity (Q2346989) (← links)
- On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting (Q2502172) (← 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)
- Artificial Intelligence and Symbolic Computation (Q5464701) (← links)