Algorithme d'unification

De AgregmathKL
Révision de 6 juin 2012 à 16:44 par Kevin (discuter | contributions) (Page créée avec « Où l'on montre que la terminaison et la correction de la méthode "jefaistoutàlarrachedansnimportequelordre" ==Recasement== * [[919 -- Unification : algorithmes et appli… »)

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

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

Recasement

Développement

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