25 citations · 122 across the 26 of their papers we have counts for
Showing 2009 · cs.DMShow all
3 papers · 2 filters
cs.DM2009
Subshifts as Models for MSO Logic
Emmanuel Jeandel, Guillaume Theyssier
We study the Monadic Second Order (MSO) Hierarchy over colourings of the discrete plane, and draw links between classes of formula and classes of subshifts. We give a characterizat…
cs.DM2009
Periodicity in tilings
Emmanuel Jeandel, Pascal Vanier
Tilings and tiling systems are an abstract concept that arise both as a computational model and as a dynamical system. In this paper, we characterize the sets of periods that a til…
cs.DM2009
Subshifts, Languages and Logic
Emmanuel Jeandel, Guillaume Theyssier
We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tili…