Geodesic
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

Voir la notice de l'article provenant de la source Numdam

@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},
     publisher = {EDP-Sciences},
     volume = {25},
     number = {2},
     year = {1991},
     mrnumber = {1110982},
     zbl = {0731.68061},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/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  - http://geodesic.mathdoc.fr/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 http://geodesic.mathdoc.fr/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. http://geodesic.mathdoc.fr/item/ITA_1991__25_2_157_0/