Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
439065 | Theoretical Computer Science | 2010 | 9 Pages |
Abstract
We give a new construction of strongly aperiodic set of tiles in H2, exhibiting a kind of hierarchical structure, simplifying the central framework of Margenstern’s proof that the Domino Problem is undecidable in the hyperbolic plane (Margenstern (2008) [16]).
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics