TY - THES DP - http://www.theses.fr/1993PA066179 TI - Etude de la terminaison des programmes logiques avec contraintes, aux moyens d'approximations AU - Mesnard, Frédéric A3 - Ganascia, Jean-Gabriel PY - 1993 SP - 121 P. N1 - Thèse de doctorat Sciences appliquées Paris 6 1993 N1 - 1993PA066179 ER -