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

De AgregmathKL
Révision de 31 mars 2015 à 14:21 par Frédéric Valet (discuter | contributions) (Page créée avec « On montre que le problème de la terminaison d'un système de réécriture est indécidable. ==Développement== *24px Média:dvt_termi... »)

(diff) ← Version précédente | Voir la version courante (diff) | Version suivante → (diff)
Aller à : navigation, rechercher

On montre que le problème de la terminaison d'un système de réécriture est indécidable.

Développement

Référence

Baader Nipkow, Term rewriting and all that.

Recasements

Récupérée de « https://minerve.ens-rennes.fr/index.php?title=Indécidabilité_de_la_terminaison_d%27un_système_de_réécriture&oldid=2829 »