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. 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  -