Subshifts, Languages and Logic

DOI10.1007/978-3-642-02737-6_23zbMath1247.03068OpenAlexW1793658485MaRDI QIDQ3637233

Guillaume Theyssier, Emmanuel Jeandel

Publication date: 7 July 2009

Published in: Developments in Language Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02737-6_23

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Combinatorial aspects of tessellation and tiling problems (05B45)

Related Items (3)

A logical approach to locality in pictures languages ⋮ Subshifts as models for MSO logic ⋮ The large scale geometry of strongly aperiodic subshifts of finite type

Cites Work

• Algebraic and model-theoretic properties of tilings
• Logical aspects of Cayley-graphs: the group case
• The structure of the models of decidable monadic theories of graphs
• Subshifts of finite type and sofic systems
• Monadic second-order logic over rectangular pictures and recognizability by tiling systems
• Undecidability and nonperiodicity for tilings of the plane
• Recurring Dominoes: Making the Highly Undecidable Highly Understandable
• On some conjectures connected with complete sentences
• The undecidability of the domino problem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Subshifts, Languages and Logic