TY - THES DP - http://www.theses.fr/1990LIL10121 TI - Reconnaissabilité et fragments décidables en réécriture : automates à piles et calculs de formes normales AU - Gilleron, Rémi A3 - Dauchet, Max PY - 1990 SP - 1 vol. (144 p.) N1 - Thèse de doctorat Informatique Lille 1 1990 N1 - 1990LIL10121 ER -