Jeandel, Emmanuel; Theyssier, Guillaume Subshifts as models for MSO logic. (English) Zbl 1435.03064 Inf. Comput. 225, 1-15 (2013). MSC: 03C90 03B16 37B10 PDF BibTeX XML Cite \textit{E. Jeandel} and \textit{G. Theyssier}, Inf. Comput. 225, 1--15 (2013; Zbl 1435.03064) Full Text: DOI
Jeandel, Emmanuel; Theyssier, Guillaume Subshifts, languages and logic. (English) Zbl 1247.03068 Diekert, Volker (ed.) et al., Developments in language theory. 13th international conference, DLT 2009, Stuttgart, Germany, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02736-9/pbk). Lecture Notes in Computer Science 5583, 288-299 (2009). MSC: 03D05 05B45 68Q45 PDF BibTeX XML Cite \textit{E. Jeandel} and \textit{G. Theyssier}, Lect. Notes Comput. Sci. 5583, 288--299 (2009; Zbl 1247.03068) Full Text: DOI