Subshifts, MSO Logic, and Collapsing Hierarchies

DOI10.1007/978-3-662-44602-7_10zbMath1418.03149arXiv1406.7155OpenAlexW2186952976MaRDI QIDQ3190155

Ilkka Törmä

Publication date: 15 September 2014

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1406.7155

zbMATH Keywords

MSO logicsubshiftquantifier alternation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Symbolic dynamics (37B10)

This page was built for publication: Subshifts, MSO Logic, and Collapsing Hierarchies