Indécidabilité de la confluence et de la terminaison
On montre que le Problème de Correspondance de Post est indécidable.
| Qualité | Numéro | Titre |
|---|
Versions
Rajouter une version
Utilisateur : Timothée
Références :