Voir la source de Algorithme d'unification

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==

*[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_unif.tex | Algorithme d'unification]]
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_unif.pdf | Algorithme d'unification]]


[[Category: Développement de la leçon 919]]
[[Category: Développement de la leçon 927]]