TY - THES DP - http://www.theses.fr/1988NAN10306 TI - Méthodes d'unification par surréduction AU - Réty, Pierre A3 - Kirchner, Claude PY - 1988 SP - 1 vol. (160 p.) N1 - Thèse de doctorat Sciences appliquées Nancy 1 1988 N1 - 1988NAN10306 ER -