Hliněný, Petr; Seese, Detlef Trees, grids, and MSO decidability: from graphs to matroids. (English) Zbl 1093.03006 Theor. Comput. Sci. 351, No. 3, 372-393 (2006). MSC: 03B25 03B15 05B35 PDFBibTeX XMLCite \textit{P. Hliněný} and \textit{D. Seese}, Theor. Comput. Sci. 351, No. 3, 372--393 (2006; Zbl 1093.03006) Full Text: DOI
Seese, D. G. Stationary logic and ordinals. (English) Zbl 0474.03015 Trans. Am. Math. Soc. 263, 111-124 (1981). MSC: 03C80 03B25 PDFBibTeX XMLCite \textit{D. G. Seese}, Trans. Am. Math. Soc. 263, 111--124 (1981; Zbl 0474.03015) Full Text: DOI