%0 Journal Article %A Courcelle, Bruno %T Frontiers of infinite trees %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1978 %P 319-337 %V 12 %N 4 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1978__12_4_319_0/ %G en %F ITA_1978__12_4_319_0