no. 2
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
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) no. 2, pp. 157-169 
@article{ITA_1991__25_2_157_0,
     author = {Rouyer, Jocelyne},
     title = {Preuves de terminaison de syst\`emes de r\'e\'ecriture fond\'ees sur les interpr\'etations polynomiales. {Une} m\'ethode bas\'ee sur le th\'eor\`eme de {Sturm}},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {157--169},
     year = {1991},
     publisher = {EDP Sciences},
     volume = {25},
     number = {2},
     mrnumber = {1110982},
     zbl = {0731.68061},
     language = {fr},
     url = {https://www.numdam.org/item/ITA_1991__25_2_157_0/}
}
TY  - JOUR
AU  - Rouyer, Jocelyne
TI  - 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
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1991
SP  - 157
EP  - 169
VL  - 25
IS  - 2
PB  - EDP Sciences
UR  - https://www.numdam.org/item/ITA_1991__25_2_157_0/
LA  - fr
ID  - ITA_1991__25_2_157_0
ER  - 
%0 Journal Article
%A Rouyer, Jocelyne
%T 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
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1991
%P 157-169
%V 25
%N 2
%I EDP Sciences
%U https://www.numdam.org/item/ITA_1991__25_2_157_0/
%G fr
%F ITA_1991__25_2_157_0
Rouyer, Jocelyne. 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. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) no. 2, pp. 157-169. https://www.numdam.org/item/ITA_1991__25_2_157_0/

1. A. Ben Cherifa and P. Lescanne, Termination of Rewriting by Polynomial Interpetretations and its Implementation, Sci. Comput. Programming, October 1987, Vol. 9 (2), pp. 137-160. | Zbl | MR

2. G. Collins, Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition, Proceedings 2nd GI Conference on Automata and Formal Languages, Springer Verlag, Lectures Notes in Computer Science 1975. | Zbl | MR

3. M. Davis, Y. Matijasevic and J. Robinson. Hilbert's Tenth Problem: Positive Aspects of a Negative Solution, in F. E. BROWDER Ed., Mathematical Developments Arising from Hubert Problems, American Mathematical Society, 1976, pp. 323-378. | Zbl | MR

4. N. Dershowitz, Corrigendum to Termination of Rewriting, J. Symbolic Comput., 1987, Vol. 4, pp. 409-410. | Zbl | MR

5. N. Dershowitz, Termination of Rewriting, J. Symbolic Comput., 1987, Vol. 3 (1 et 2), pp. 69-116. | Zbl | MR

6. D. Knuth, The Art of Computer Programming, Vol. 2, Addison Wesley, Reading Massachusetts, 2nd edition, 1981. | Zbl | MR

7. D. S. Lankford, On Proving Term Rewriting Systems are Noetherian, Technical Report, Louisiana Tech. University, Mathematics Dept., Ruston LA, 1979.

8. Tarski, A Decision Method for Elementary Algebra and Geometry, University of California Press, Berkeley, 2nd edition, 1951. | Zbl | MR