About the domino problem in the hyperbolic plane from an algorithmic point of view
Maurice Margenstern · RAIRO - Theoretical Informatics and Applications · 2008
This paper is a contribution to the general tiling problem for the hyperbolic plane. It is an intermediary result between the result obtained by R. Robinson [Invent. Math. 44 (1978) 259–264] and the conjecture that the problem is undecidable.