Pages that link to "Item:Q5597521"
From MaRDI portal
The following pages link to The undecidability of the domino problem (Q5597521):
Displaying 50 items.
- Lots of aperiodic sets of tiles (Q1671787) (← links)
- Seas of squares with sizes from a \(\Pi_{1}^{0}\) set (Q1686319) (← links)
- Mixing properties for hom-shifts and the distance between walks on associated graphs (Q1692378) (← links)
- Logical foundations of information disclosure in ontology-based data integration (Q1711879) (← links)
- Epistemic horizons and the foundations of quantum mechanics (Q1735885) (← links)
- Automatic generation of aesthetic patterns on fractal tilings by means of dynamical systems (Q1777033) (← links)
- Local rules and global order, or aperiodic tilings (Q1777517) (← links)
- Theory of cellular automata: a survey (Q1779295) (← links)
- Wang tiling aided statistical determination of the representative volume element size of random heterogeneous materials (Q1788398) (← links)
- Tilings, substitution systems and dynamical systems generated by them (Q1812692) (← links)
- Tiling with polyominoes and combinatorial group theory (Q1812887) (← links)
- The price of universality (Q1815426) (← links)
- Domino-tiling games (Q1822501) (← links)
- Automorphisms of \(\mathbb Z^ d\)-subshifts of finite type (Q1842552) (← links)
- An aperiodic tiles machine (Q1862121) (← links)
- Automatic generation of nonperiodic patterns from dynamical systems (Q1877960) (← links)
- Tilings: recursivity and regularity (Q1884987) (← links)
- The lattice structure of the set of domino tilings of a polygon (Q1885926) (← links)
- Tile complexity of approximate squares (Q1949754) (← links)
- On logics with two variables (Q1960419) (← links)
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus (Q1960425) (← links)
- Tilings and quasiperiodicity. (Q1960519) (← links)
- Relation algebras can tile (Q1961863) (← links)
- Necessary conditions for tiling finitely generated amenable groups (Q1988316) (← links)
- A linear algorithm for brick Wang tiling (Q2009470) (← links)
- Lamplighters admit weakly aperiodic SFTs (Q2035054) (← links)
- Nilpotency and periodic points in non-uniform cellular automata (Q2041685) (← links)
- On column-convex and convex Carlitz polyominoes (Q2071544) (← links)
- A strongly aperiodic shift of finite type on the discrete Heisenberg group using Robinson tilings (Q2073240) (← links)
- Finite transducers and rational transductions (Q2074205) (← links)
- Markov partitions for toral \(\mathbb{Z}^2\)-rotations featuring Jeandel-Rao Wang shift and model sets (Q2077157) (← links)
- The multinomial tiling model (Q2085544) (← links)
- Sandpile toppling on Penrose tilings: identity and isotropic dynamics (Q2086724) (← links)
- Domino problem for pretty low complexity subshifts (Q2086736) (← links)
- Gardens of Eden in the game of life (Q2086742) (← links)
- Logical separability of labeled data examples under ontologies (Q2093388) (← links)
- Entropy dimension of shifts of finite type on free groups (Q2129886) (← links)
- Modular-topology optimization of structures and mechanisms with free material design and clustering (Q2142168) (← links)
- Aperiodic SFTs on Baumslag-Solitar groups (Q2143140) (← links)
- On the subtle nature of a simple logic of the hide and seek game (Q2148792) (← links)
- Rauzy induction of polygon partitions and toral \(\mathbb{Z}^2\)-rotations (Q2153354) (← links)
- Conway and aperiodic tilings (Q2153971) (← links)
- Topological entropy for shifts of finite type over \(\mathbb{Z}\) and trees (Q2166753) (← links)
- Smooth column convex polyominoes (Q2167315) (← links)
- \(\mathsf{NP}\)-completeness of the game Kingdomino\(^\text{TM}\) (Q2182309) (← links)
- A counterexample to Thiagarajan's conjecture on regular event structures (Q2186822) (← links)
- Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible (Q2196563) (← links)
- Computational complexity of \(k\)-block conjugacy (Q2219057) (← links)
- Characterization and topological behavior of homomorphism tree-shifts (Q2230907) (← links)
- On the domino problem of the Baumslag-Solitar groups (Q2243576) (← links)
