Searching for "On the Undecidability of the Tiling Problem." – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
On the decidability of self-assembly of infinite ribbons
- … with this special tile set, to reduce the well-known undecidable Tiling Problem to the problem of the existence…
- Cited by 11 (0 self) – Add To MetaCart
-
Representability is not decidable for finite relation algebras
- … to show that this problem is undecidable. From an instance of this tiling problem τ, we construct a finite…
- Cited by 12 (7 self) – Add To MetaCart
-
A Finite Relation Algebra with Undecidable Network Satisfaction Problem
- … by reducing an undecidable tiling problem to it. The construction of the relation algebra is the same…
- Cited by 3 (2 self) – Add To MetaCart
-
Undecidable Relativizations of Algebras of Relations
- … the undecidable tiling problem into the equational theories of algebras of relations. Recently [Ma97b] showed how…
- Cited by 4 (3 self) – Add To MetaCart
-
An aperiodic set of 13 Wang tiles
- … of the undecidability of the tiling problem [2] refuted Wang's conjecture that no aperiodic set exists, and constructed…
- Cited by 10 (0 self) – Add To MetaCart
-
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
- … with a single time invariant binary relation) can encode the undecidable tiling problem (cf. [47, 28…
- Cited by 14 (6 self) – Add To MetaCart
-
On the complexity of hybrid logics with binders
- …]. We present a new undecidability proof based on an encoding of the N × N tiling problem. It will help…
- Cited by 11 (0 self) – Add To MetaCart
-
Local Parallel Biomolecular Computation
- … proving the undecidability of the tiling problem with no initial placement of tiles. Later simplified…
- Cited by 47 (12 self) – Add To MetaCart
-
Decidability and Undecidability in Stand-Alone Feature Logics
- … using re- duction from a certain undecidable tiling problem. We're going to strengthen…
- Cited by 2 (0 self) – Add To MetaCart
-
Stochastic Analysis of Reversible Self-Assembly
- … the decidability/undecidability of this tiling problem. 17 Researchers have also considered the complexity…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
