{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T20:31:13Z","timestamp":1676493073606},"reference-count":13,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2008,8]]},"abstract":"<jats:p> In this paper, we consider the finite tiling problem which was proved undecidable in the Euclidean plane by Jarkko Kari, see [5]. Here, we prove that the same problem for the hyperbolic plane is also undecidable. <\/jats:p>","DOI":"10.1142\/s0129054108006078","type":"journal-article","created":{"date-parts":[[2008,8,6]],"date-time":"2008-08-06T10:30:40Z","timestamp":1218018640000},"page":"971-982","source":"Crossref","is-referenced-by-count":5,"title":["THE FINITE TILING PROBLEM IS UNDECIDABLE IN THE HYPERBOLIC PLANE"],"prefix":"10.1142","volume":"19","author":[{"given":"MAURICE","family":"MARGENSTERN","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paul Verlaine \u2013 Metz, I.U.T. de Metz, D\u00e9partement d'Informatique, \u00cele du Saulcy, 57045 Metz Cedex, France"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","first-page":"1","volume":"66","author":"Berger R.","journal-title":"Memoirs of the American Mathematical Society"},{"key":"rf3","first-page":"459","volume":"13","author":"Gurevich Yu.","journal-title":"Siberian Mathematical Journal"},{"key":"rf4","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft J. E.","year":"2001"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(05)80025-X"},{"key":"rf7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/978-3-540-74593-8_6","volume":"4664","author":"Kari J.","year":"2007"},{"key":"rf8","first-page":"1226","volume":"6","author":"Margenstern M.","journal-title":"Journal of Universal Computer Science"},{"key":"rf9","volume-title":"Cellular Automata in Hyperbolic Spaces, Volume 1, Theory","author":"Margenstern M.","year":"2007"},{"key":"rf12","first-page":"220","volume":"93","author":"Margenstern M.","journal-title":"Bulletin of the EATCS"},{"key":"rf18","first-page":"685","volume":"14","author":"Myhill J.","journal-title":"Proceedings of the American Mathematical Society"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1007\/BF01418780"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1007\/BF01403163"},{"key":"rf21","first-page":"230","volume":"42","author":"Turing A. M.","journal-title":"Proceedings of the London Mathematical Society, ser. 2"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1961.tb03975.x"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054108006078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T15:24:06Z","timestamp":1565191446000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054108006078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":13,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2008,8]]}},"alternative-id":["10.1142\/S0129054108006078"],"URL":"https:\/\/doi.org\/10.1142\/s0129054108006078","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8]]}}}