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

@@ 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