Pages that link to "Item:Q5597521"

The following pages link to The undecidability of the domino problem (Q5597521):

Displaying 50 items.

• Some undecidable problems involving the edge-coloring and vertex-coloring of graphs (Q801935) (← links)
• Computation theoretic aspects of cellular automata (Q807035) (← links)
• Reversibility of 2D cellular automata is undecidable (Q807043) (← links)
• The structure of the models of decidable monadic theories of graphs (Q810005) (← links)
• Simple sentences that are hard to decide (Q810009) (← links)
• On the undecidability of logics with converse, nominals, recursion and counting (Q814615) (← links)
• Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
• Finite state automata representing two-dimensional subshifts (Q840771) (← links)
• Extended RDF: computability and complexity issues (Q905991) (← links)
• Breaking of periodicity at positive temperatures (Q923538) (← links)
• On keys and functional dependencies as first-class citizens in description logics (Q928661) (← links)
• A primer of substitution tilings of the Euclidean plane (Q953909) (← links)
• The domino problem of the hyperbolic plane is undecidable (Q954981) (← links)
• A characterization of the entropies of multidimensional shifts of finite type (Q974081) (← links)
• On the tiling by translation problem (Q1003706) (← links)
• Path finding in the tile assembly model (Q1008725) (← links)
• The 4-way deterministic tiling problem is undecidable (Q1013128) (← links)
• Regular production systems and triangle tilings (Q1013129) (← links)
• The hexagonal parquet tiling: \(k\)-isohedral monotiles with arbitrarily large \(k\). (Q1013673) (← links)
• On the dynamics and recursive properties of multidimensional symbolic systems (Q1016235) (← links)
• A decidable class of problems for control under partial observation (Q1041809) (← links)
• Many phases in systems without periodic ground states (Q1088314) (← links)
• Dominoes and the complexity of subclasses of logical theories (Q1115859) (← links)
• An aperiodic set of 13 Wang tiles (Q1126300) (← links)
• A small aperiodic set of Wang tiles (Q1126302) (← links)
• Erratum to: Function iteration logics and flowchart schemata (Q1135641) (← links)
• Some results on one-dimensional tilings (Q1153157) (← links)
• Cellular automata, \(\omega{} \omega\)-regular sets, and sofic systems (Q1179180) (← links)
• Rigidity of planar tilings (Q1187503) (← links)
• A multiparameter analysis of domino tiling with an application to concurrent systems (Q1193883) (← links)
• Undecidable tiling problems in the hyperbolic plane (Q1236791) (← links)
• Aperiodic tilings of the hyperbolic plane by convex polygons (Q1275697) (← links)
• On the complexity of deadlock detection in families of planar nets (Q1285587) (← links)
• Tiling allowing rotations only (Q1292299) (← links)
• Global fixed point attractors of circular cellular automata and periodic tilings of the plane: Undecidability results (Q1297435) (← links)
• A linear algorithm to tile the trapezes with \(h_ m\) and \(v_ n\) (Q1314412) (← links)
• Reversibility and surjectivity problems of cellular automata (Q1318474) (← links)
• Polyominoes defined by two vectors (Q1325843) (← links)
• On the solvability of domino snake problems (Q1331945) (← links)
• Inversion of 2D cellular automata: Some complexity results (Q1341722) (← links)
• The surjectivity problem for 2D cellular automata (Q1342866) (← links)
• Tiling figures of the plane with two bars (Q1346250) (← links)
• Aperiodic tilings (Q1358257) (← links)
• Tiling rectangles with polyominoes (Q1361145) (← links)
• Tile invariants: New horizons. (Q1401369) (← links)
• A codicity undecidable problem in the plane. (Q1401375) (← links)
• Frontier between decidability and undecidability: A survey (Q1575913) (← links)
• From logic to tiling (Q1603696) (← links)
• Fractal tilings based on successive adjacent substitution rule (Q1654313) (← links)
• Upper bounds on the growth rates of independent sets in two dimensions via corner transfer matrices (Q1654390) (← links)