Subshifts as models for MSO logic

Emmanuel Jeandel, Guillaume Theyssier. Subshifts as models for MSO logic. Inf. Comput., 225:1-15, 2013. [doi]

Abstract

Abstract is missing.