Développement : Indécidabilité de la confluence et de la terminaison

Détails/Enoncé :

On montre que le Problème de Correspondance de Post est indécidable.

Recasages pour l'année 2024 :

  • Pas de recasages pour cette année.

Versions :

Références utilisées dans les versions de ce développement :