@第{zbMATH03631912条，作者={Courcelle，Bruno}，标题＝｛Arbres infinis et syst｛\`e｝mes d’｛\'e｝quations｝，FJournal={RAIRO，Informatique Th{\'e}原始}，日志={RAIRO，Inf.Th{\'e}或.}，ISSN={0296-1598}，体积＝{13}，页码={31--48}，年份={1979}，语言={法语}，关键词={68Q60,18B20}，zbMATH={3631912}，Zbl={0406.68017}}