On a fragment of AMSO and tiling systems

DOI10.4230/LIPICS.STACS.2016.19zbMATH Open1388.03015OpenAlexW2293469044MaRDI QIDQ4601871FDOQ4601871

Authors: Achim Blumensath, Thomas Colcombet, Paweł Parys 

Publication date: 24 January 2018

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.STACS.2016.19

Recommendations

• Asymptotic Monadic Second-Order Logic
• Weak \(\text{MSO}+U\) over infinite trees
• Subshifts, Languages and Logic
• Weak MSO+U with path quantifiers over infinite trees
• First-order fragments with successor over infinite words

zbMATH Keywords

boundednessmonadic second-order logictiling problems

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Cited In (1)

• Subshifts as models for MSO logic

This page was built for publication: On a fragment of AMSO and tiling systems

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