Braquelaire, J. P.; Courcelle, B. The solution of two star-height problems for regular trees. (English) Zbl 0574.68052 Automata on infinite words, Ec. Printemps Inf. Théor., Le Mont Dore 1984, Lect. Notes Comput. Sci. 192, 108-117 (1985). MSC: 68Q45 68R10 05C05 PDFBibTeX XML
Braquelaire, J. P.; Courcelle, B. The solutions of two star-height problems for regular trees. (English) Zbl 0554.68037 Theor. Comput. Sci. 30, 205-239 (1984). MSC: 68Q45 68R10 05C05 PDFBibTeX XMLCite \textit{J. P. Braquelaire} and \textit{B. Courcelle}, Theor. Comput. Sci. 30, 205--239 (1984; Zbl 0554.68037) Full Text: DOI