Terminaison d'un système de réécriture (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Terminaison d'un système de réécriture" in French language version.

refsWebsite

Global rank French rank

low place

low place

57^th place

4^th place

8,650^th place

1,233^rd place

low place

1,322^nd place

ens-rennes.fr

Frédéric Blanqui, « Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité », theses.hal.science, Université Paris-Diderot - Paris VII,‎ 28 mars 2012 (lire en ligne, consulté le 16 mars 2024)

Jocelyne Rouyer, « 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, vol. 25, n^o 2,‎ 1991, p. 157–169 (ISSN 1290-385X, lire en ligne, consulté le 16 mars 2024)

Jocelyne Rouyer, « 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, vol. 25, n^o 2,‎ 1991, p. 157–169 (ISSN 1290-385X, lire en ligne, consulté le 16 mars 2024)

On dit alors que le prédicat est héréditaire (en) pour la relation de réécriture.