%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://archive.numdam.org/item/ITA_1991__25_2_157_0/
%G fr
%F ITA_1991__25_2_157_0