« Index of / », sur perso.eleves.ens-rennes.fr (consulté le )
hal.science
theses.hal.science
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, (lire en ligne, consulté le )
issn.org
portal.issn.org
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, no 2, , p. 157–169 (ISSN1290-385X, lire en ligne, consulté le )
numdam.org
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, no 2, , p. 157–169 (ISSN1290-385X, lire en ligne, consulté le )
wikipedia.org
en.wikipedia.org
On dit alors que le prédicat est héréditaire(en) pour la relation de réécriture.