Algorithme d'unification

De AgregmathKL

Révision de 6 juin 2012 à 16:44 par Kevin (discuter | contributions)

(diff) ← Version précédente | Voir la version courante (diff) | Version suivante → (diff)

Aller à : navigation, rechercher

Où l'on montre la terminaison et la correction de la méthode "jefaistoutàlarrachedansnimportequelordre".

Recasement

919 -- Uniﬁcation : algorithmes et applications.

927 -- Exemples de preuve d’algorithme : correction, terminaison.

Développement

Récupérée de « https://minerve.bretagne.ens-cachan.fr/index.php?title=Algorithme_d%27unification&oldid=656 »