Développement #200

Titre : Indécidabilité de la confluence et de la terminaison

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

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42