Arbres infinis et systèmes d'équations Bruno Courcelle RAIRO. Inform. théor., 13 1 (1979) 31-48 Published online: 01 February 2017 DOI: 10.1051/ita/1979130100311