TY - JOUR AU - Lilin, E. TI - Transducteurs finis d'arbres et tests d'égalité JO - RAIRO. Informatique théorique PY - 1981 SP - 213 EP - 232 VL - 15 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1981__15_3_213_0/ LA - fr ID - ITA_1981__15_3_213_0 ER -