TY - THES DP - http://www.theses.fr/1986NAN10011 TI - Preuves de terminaison des systèmes de réécriture associatifs commutatifs : Une méthode fondée sur la réécriture elle-même AU - Gnaedig, Isabelle A3 - Lescanne, Pierre PY - 1986 SP - 1 vol. (68 p.) N1 - Thèse de doctorat Sciences appliquées Nancy 1 1986 N1 - 1986NAN10011 ER -