Subshifts as models for MSO logic (Q384929): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2013.01.003
@@ Property / DOI: 10.1016/j.ic.2013.01.003 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C90
@@ Property / Mathematics Subject Classification ID: 03C90 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B16
@@ Property / Mathematics Subject Classification ID: 03B16 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B10
@@ Property / Mathematics Subject Classification ID: 37B10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6234481
@@ Property / zbMATH DE Number: 6234481 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+symbolic dynamics
@@ Property / zbMATH Keywords: symbolic dynamics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model theory
@@ Property / zbMATH Keywords: model theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tilings
@@ Property / zbMATH Keywords: tilings / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2023267442
@@ Property / OpenAlex ID: W2023267442 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1272
@@ Property / arXiv ID: 0912.1272 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086932
@@ Property / cites work: Q3086932 / rank @@
+Normal rank
@@ Property / cites work @@
+Rice’s Theorem for μ-Limit Sets of Cellular Automata
+Normal rank
@@ Property / cites work @@
+On Factor Universality in Symbolic Spaces
@@ Property / cites work: On Factor Universality in Symbolic Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+On Local Symmetries and Universality in Cellular Automata
+Normal rank
@@ Property / cites work @@
+Intrinsic Universality in Self-Assembly
@@ Property / cites work: Intrinsic Universality in Self-Assembly / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the domino problem
@@ Property / cites work: The undecidability of the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Logical aspects of Cayley-graphs: the group case
@@ Property / cites work: Logical aspects of Cayley-graphs: the group case / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of the models of decidable monadic theories of graphs
+Normal rank
@@ Property / cites work @@
+On some conjectures connected with complete sentences
+Normal rank
@@ Property / cites work @@
+Q3325702
@@ Property / cites work: Q3325702 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability and nonperiodicity for tilings of the plane
+Normal rank
@@ Property / cites work @@
+Algebraic and model-theoretic properties of tilings
+Normal rank
@@ Property / cites work @@
+Monadic second-order logic over rectangular pictures and recognizability by tiling systems
+Normal rank
@@ Property / cites work @@
+Subshifts of finite type and sofic systems
@@ Property / cites work: Subshifts of finite type and sofic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Framed Versus Unframed Two-Dimensional Languages
@@ Property / cites work: Framed Versus Unframed Two-Dimensional Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412122
@@ Property / cites work: Q4412122 / rank @@
+Normal rank
@@ Property / cites work @@
+Recurring Dominoes: Making the Highly Undecidable Highly Understandable
+Normal rank
@@ Property / cites work @@
+Subshifts, Languages and Logic
@@ Property / cites work: Subshifts, Languages and Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551141
@@ Property / cites work: Q5551141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036584
@@ Property / cites work: Q4036584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3836531
@@ Property / cites work: Q3836531 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Symbolic Dynamics and Coding
@@ Property / cites work: An Introduction to Symbolic Dynamics and Coding / rank @@
+Normal rank
@@ Property / cites work @@
+An existential locality theorem
@@ Property / cites work: An existential locality theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Languages and scanners
@@ Property / cites work: Languages and scanners / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2013.01.003
@@ Property / DOI: 10.1016/J.IC.2013.01.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:384929