%0 Journal Article %A Courcelle, Bruno %T Arbres infinis et systèmes d'équations %J RAIRO. Informatique théorique %D 1979 %P 31-48 %V 13 %N 1 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1979__13_1_31_0/ %G fr %F ITA_1979__13_1_31_0