Multidimensional tilings and MSO logic

DOI10.1007/978-3-031-95908-0_26MaRDI QIDQ6897639zbMATH OpenFDO

Authors Rémi Pallen, Ilkka A. Törmä

Publication date 19 November 2025

Full work available at URL https://doi.org/10.1007/978-3-031-95908-0_26

zbMATH Keywords

MSO logicsubshiftssymbolic dynamicstilings

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A sufficient condition for non-soficness of higher-dimensional subshifts
• An introduction to symbolic dynamics and coding
• Diddy: a Python toolbox for infinite discrete dynamical systems
• Monadic second-order logic over rectangular pictures and recognizability by tiling systems
• Subshifts as models for MSO logic
• Subshifts, MSO logic, and collapsing hierarchies
• The undecidability of the domino problem

This page was built for publication: Multidimensional tilings and MSO logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6897639)