Pages that link to "Item:Q3357550"
From MaRDI portal
The following pages link to 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):
Displaying 3 items.
- Termination of rewriting systems by polynomial interpretations and its implementation (Q579930) (← links)
- Mechanically proving termination using polynomial interpretations (Q851142) (← links)
- On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting (Q2502172) (← links)