Indécidabilité de la terminaison d'un système de réécriture

De AgregmathKL
Aller à : navigation, rechercher