Pages that link to "Item:Q5597521"

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

Displaying 50 items.

• Nonemptiness problems of Wang tiles with three colors (Q2253197) (← links)
• A hierarchical strongly aperiodic set of tiles in the hyperbolic plane (Q2268866) (← links)
• Forbidden substructures and combinatorial dichotomies: WQO and universality (Q2275384) (← links)
• Decidability of irreducible tree shifts of finite type (Q2283159) (← links)
• Sturmian ground states in classical lattice-gas models (Q2302682) (← links)
• A self-similar aperiodic set of 19 Wang tiles (Q2312729) (← links)
• Translationally invariant universal classical Hamiltonians (Q2315170) (← links)
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q2323638) (← links)
• Cyclotomic aperiodic substitution tilings (Q2333467) (← links)
• When periodicities enforce aperiodicity (Q2339195) (← links)
• An integral representation for topological pressure in terms of conditional probabilities (Q2351753) (← links)
• Entropies realizable by block gluing \(\mathbb{Z}^{d}\) shifts of finite type (Q2352245) (← links)
• Small polyomino packing (Q2361496) (← links)
• Tiling a polygon with parallelograms (Q2366227) (← links)
• Jigsaw puzzles, edge matching, and polyomino packing: Connections and complexity (Q2373445) (← links)
• Pattern-equivariant homology (Q2398824) (← links)
• The undecidability of arbitrary arrow update logic (Q2404071) (← links)
• Full sets of pictures to encode pictures (Q2422018) (← links)
• Forcing nonperiodicity with a single tile (Q2429455) (← links)
• A model-theoretic characterisation of clique width (Q2503407) (← links)
• Undecidability and nonperiodicity for tilings of the plane (Q2540183) (← links)
• Remarks on Berger's paper on the domino problem (Q2556400) (← links)
• Theory of computation of multidimensional entropy with an application to the monomer-dimer problem (Q2568107) (← links)
• The undecidability of iterated modal relativization (Q2574887) (← links)
• Graph encoding of 2D-gon tilings (Q2581345) (← links)
• Nonemptiness problems of Wang cubes with two colors (Q2663381) (← links)
• Substitutive structure of Jeandel-Rao aperiodic tilings (Q2664112) (← links)
• The complexity of regex crosswords (Q2672653) (← links)
• Symmetry-induced quasicrystalline waveguides (Q2685019) (← links)
• Monadic second-order logic and the domino problem on self-similar graphs (Q2694796) (← links)
• Simulations and the lamplighter group (Q2694797) (← links)
• Computational complexity of theories of a binary predicate with a small number of variables (Q2696689) (← links)
• Decidability and periodicity of low complexity tilings (Q2701070) (← links)
• Representability is not decidable for finite relation algebras (Q2701663) (← links)
• Building a stationary stochastic process from a finite-dimensional marginal (Q2715675) (← links)
• Spatial chaos of Wang tiles with two symbols (Q2795570) (← links)
• Resiliency to Multiple Nucleation in Temperature-1 Self-Assembly (Q2835706) (← links)
• Undecidability of multi-modal hybrid logics (Q2867946) (← links)
• Rohlin properties for \(\mathbb {Z}^{d}\) actions on the Cantor set (Q2880675) (← links)
• Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)
• Quantifier extensions of multidimensional sofic shifts (Q2944851) (← links)
• Quasiperiodicity and Non-computability in Tilings (Q2946338) (← links)
• Plane-Filling Properties of Directed Figures (Q3004676) (← links)
• Snakes and Cellular Automata: Reductions and Inseparability Results (Q3007629) (← links)
• $\it \Pi^0_1$ Sets and Tilings (Q3010404) (← links)
• On covering by translates of a set (Q3068760) (← links)
• Triangular Tile Self-assembly Systems (Q3070964) (← links)
• Nonemptiness problems of plane square tiling with two colors (Q3085068) (← links)
• Algebraic numbers, free group automorphisms and substitutions on the plane (Q3092812) (← links)
• Complexity analysis of propositional concurrent programs using domino tiling (Q3142002) (← links)