Pages that link to "Item:Q5597521"
From MaRDI portal
The following pages link to The undecidability of the domino problem (Q5597521):
Displaying 50 items.
- Irregular polyomino tiling via integer programming with application in phased array antenna design (Q288219) (← links)
- Fast domino tileability (Q312152) (← links)
- Random \(\mathbb{Z}^d\)-shifts of finite type (Q316999) (← links)
- Independence entropy of \(\mathbb{Z}^{d}\)-shift spaces (Q368703) (← links)
- Simulation of effective subshifts by two-dimensional subshifts of finite type (Q368710) (← links)
- Subshifts as models for MSO logic (Q384929) (← links)
- Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues (Q385957) (← links)
- On the shape of permutomino tiles (Q387869) (← links)
- On simplification of schema mappings (Q389226) (← links)
- Packing polyominoes clumsily (Q390365) (← links)
- Enumeration approach to computing chemical equilibria (Q391182) (← links)
- Turing degrees of multidimensional SFTs (Q393140) (← links)
- The complexity of generalized domino tilings (Q396923) (← links)
- The periodic domino problem revisited (Q410732) (← links)
- Random subshifts of finite type (Q414282) (← links)
- Fixed-point tile sets and their applications (Q439933) (← links)
- On time-symmetry in cellular automata (Q439976) (← links)
- Groups, graphs, languages, automata, games and second-order monadic logic (Q444388) (← links)
- The computation of overlap coincidence in Taylor-Socolar substitution tiling (Q470085) (← links)
- Packing, covering and tiling in two-dimensional spaces (Q472930) (← links)
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
- Tilings of the plane and Thurston semi-norm (Q476389) (← links)
- A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
- Computational aspects of M. C. Escher's ribbon patterns (Q489754) (← links)
- A notion of effectiveness for subshifts on finitely generated groups (Q501655) (← links)
- The large scale geometry of strongly aperiodic subshifts of finite type (Q507216) (← links)
- Translation invariant extensions of finite volume measures (Q526590) (← links)
- On periodicity of perfect colorings of the infinite hexagonal and triangular grids (Q536631) (← links)
- Topological dynamics of cellular automata: dimension matters (Q537911) (← links)
- Two-dimensional cellular automata (Q579933) (← links)
- Quasi-periodic configurations and undecidable dynamics for tilings, infinite words and Turing machines (Q596050) (← links)
- Tilings and submonoids of metabelian groups. (Q633769) (← links)
- Aperiodic tilings with one prototile and low complexity atlas matching rules (Q635747) (← links)
- Polyominoes simulating arbitrary-neighborhood zippers and tilings (Q652151) (← links)
- Reconstructing convex polyominoes from horizontal and vertical projections (Q672143) (← links)
- A Random NP-complete problem for inversion of 2D cellular automata (Q672376) (← links)
- Polyomino tilings, cellular automata and codicity (Q672463) (← links)
- On the entropy of \(\mathbb{Z}^d\) subshifts of finite type (Q676028) (← links)
- Approximating the hard square entropy constant with probabilistic methods (Q693710) (← links)
- Rewriting of regular expressions and regular path queries (Q696951) (← links)
- The emerging discipline of biomolecular computation in the US (Q698876) (← links)
- A strongly aperiodic set of tiles in the hyperbolic plane (Q706146) (← links)
- Complexity classes as mathematical axioms (Q731212) (← links)
- On complete one-way functions (Q734307) (← links)
- Rectangular tileability and complementary tileability are undecidable (Q740261) (← links)
- Fusion: a general framework for hierarchical tilings of \(\mathbb{R }^d\) (Q741623) (← links)
- Polyominoes which tile rectangles (Q757389) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- The word and order problems for self-similar and automata groups (Q784904) (← links)
- Undecidability of PDL with \(L=\{a^{2^ i}| i\geq 0\}\) (Q801901) (← links)
