Les pages ci-dessous contiennent un lien vers Indécidabilité de la terminaison d'un système de réécriture :