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/