Finkel, Olivier; Lecomte, Dominique; Simonnet, Pierre An upper bound on the complexity of recognizable tree languages. (English) Zbl 1373.03066 RAIRO, Theor. Inform. Appl. 49, No. 2, 121-137 (2015). MSC: 03D05 03E15 03B70 68Q45 68Q15 PDFBibTeX XMLCite \textit{O. Finkel} et al., RAIRO, Theor. Inform. Appl. 49, No. 2, 121--137 (2015; Zbl 1373.03066) Full Text: DOI arXiv
Finkel, Olivier; Simonnet, Pierre On recognizable tree languages beyond the Borel hierarchy. (English) Zbl 1190.03041 Fundam. Inform. 95, No. 2-3, 287-303 (2009). MSC: 03E15 03D05 68Q45 PDFBibTeX XMLCite \textit{O. Finkel} and \textit{P. Simonnet}, Fundam. Inform. 95, No. 2--3, 287--303 (2009; Zbl 1190.03041) Full Text: DOI