Algorithme d'unification : Différence entre versions
De AgregmathKL
(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… ») |
(Aucune différence)
|
Version du 6 juin 2012 à 17:44
Où l'on montre que la terminaison et la correction de la méthode "jefaistoutàlarrachedansnimportequelordre"