collaborators

1 paper

cs.FL2025

Multidimensional tilings and MSO logic

Rémi Pallen, Ilkka Törmä

We define sets of coulourings of the infinite discrete plane using monadic second order (MSO) formulas. We determine the complexity of deciding whether such a formula defines a sub…