{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:49:38Z","timestamp":1725511778516},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709176"},{"type":"electronic","value":"9783540709183"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-70918-3_32","type":"book-chapter","created":{"date-parts":[[2007,5,23]],"date-time":"2007-05-23T23:41:23Z","timestamp":1179963683000},"page":"367-380","source":"Crossref","is-referenced-by-count":11,"title":["Universal Tilings"],"prefix":"10.1007","author":[{"given":"Gr\u00e9gory","family":"Lafitte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Weiss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","first-page":"407","volume-title":"The Classical Decision Problem","author":"C. Allauzen","year":"1996","unstructured":"Allauzen, C., Durand, B.: Appendix A: \u201cTiling problems\u201d. In: The Classical Decision Problem, pp. 407\u2013420. Springer, Heidelberg (1996)"},{"key":"32_CR2","first-page":"1","volume-title":"Memoirs of the American Mathematical Society, vol. 66","author":"R. Berger","year":"1966","unstructured":"Berger, R.: The undecidability of the domino problem. In: Memoirs of the American Mathematical Society, vol. 66, pp. 1\u201372. AMS, New York (1966)"},{"issue":"1-3","key":"32_CR3","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1016\/S0304-3975(03)00242-1","volume":"310","author":"J. Cervelle","year":"2004","unstructured":"Cervelle, J., Durand, B.: Tilings: recursivity and regularity. Theoretical Computer Science\u00a0310(1-3), 469\u2013477 (2004)","journal-title":"Theoretical Computer Science"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Culik II., K., Kari, J.: On aperiodic sets of Wang tiles. In: Foundations of Computer Science: Potential - Theory - Cognition, pp. 153\u2013162 (1997)","DOI":"10.1007\/BFb0052084"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"Durand, B., Levin, L.A., Shen, A.: Complex tilings. In: Proceedings of the Symposium on Theory of Computing, pp. 732\u2013739 (2001)","DOI":"10.1145\/380752.380880"},{"issue":"1-2","key":"32_CR6","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0304-3975(99)00027-4","volume":"221","author":"B. Durand","year":"1999","unstructured":"Durand, B.: Tilings and quasiperiodicity. Theoretical Computer Science\u00a0221(1-2), 61\u201375 (1999)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"32_CR7","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(02)00018-X","volume":"281","author":"B. Durand","year":"2002","unstructured":"Durand, B.: De la logique aux pavages. Theoretical Computer Science\u00a0281(1-2), 311\u2013324 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"32_CR8","doi-asserted-by":"publisher","first-page":"283","DOI":"10.2307\/2272640","volume":"39","author":"W.P. Hanf","year":"1974","unstructured":"Hanf, W.P.: Non-recursive tilings of the plane. I. Journal of Symbolic Logic\u00a039(2), 283\u2013285 (1974)","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"32_CR9","doi-asserted-by":"publisher","first-page":"286","DOI":"10.2307\/2272641","volume":"39","author":"D. Myers","year":"1974","unstructured":"Myers, D.: Non-recursive tilings of the plane. II. Journal of Symbolic Logic\u00a039(2), 286\u2013294 (1974)","journal-title":"Journal of Symbolic Logic"},{"key":"32_CR10","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BF01418780","volume":"12","author":"R. Robinson","year":"1971","unstructured":"Robinson, R.: Undecidability and nonperiodicity for tilings of the plane. Inventiones Mathematicae\u00a012, 177\u2013209 (1971)","journal-title":"Inventiones Mathematicae"},{"key":"32_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/j.1538-7305.1961.tb03975.x","volume":"40","author":"H. Wang","year":"1961","unstructured":"Wang, H.: Proving theorems by pattern recognition II. Bell System Technical Journal\u00a040, 1\u201341 (1961)","journal-title":"Bell System Technical Journal"},{"key":"32_CR12","unstructured":"Wang, H.: Dominoes and the \n                    \n                      \n                    \n                    $\\forall\\exists\\forall$\n                  -case of the decision problem. In: Proceedings of the Symposium on Mathematical Theory of Automata, pp. 23\u201355 (1962)"}],"container-title":["Lecture Notes in Computer Science","STACS 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70918-3_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:36:08Z","timestamp":1558272968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70918-3_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540709176","9783540709183"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70918-3_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}