TY - THES DP - http://www.theses.fr/1991NAN10033 TI - Calcul formel en geometrie algebrique reelle applique a la terminaison des systemes de reecriture AU - ROUYER DEGLI, JOCELYNE A3 - Lescanne, Pierre PY - 1991 SP - 1 vol.(134 p.) N1 - Thèse de doctorat Sciences appliquées Nancy 1 1991 N1 - 1991NAN10033 ER -