TY - THES DP - http://www.theses.fr/2003DENS0027 TI - Automates d'arbres bidirectionnels modulo théories équationnelles AU - Verma, Kumar Neeraj A3 - Goubault-Larrecq, Jean PY - 2003 SP - 187 p. N1 - Thèse de doctorat Informatique Cachan, Ecole normale supérieure 2003 N1 - 2003DENS0027 ER -