Article ID Journal Published Year Pages File Type
439065 Theoretical Computer Science 2010 9 Pages PDF
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