{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T12:59:55Z","timestamp":1760101195340,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,12,17]],"date-time":"2019-12-17T00:00:00Z","timestamp":1576540800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,12,17]],"date-time":"2019-12-17T00:00:00Z","timestamp":1576540800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["676541"],"award-info":[{"award-number":["676541"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-18-CE40-0007"],"award-info":[{"award-number":["ANR-18-CE40-0007"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Laboratoire International Franco-Qu\u00e9b\u00e9cois de Recherche en Combinatoire"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Comput Geom"],"published-print":{"date-parts":[[2021,4]]},"DOI":"10.1007\/s00454-019-00153-3","type":"journal-article","created":{"date-parts":[[2019,12,17]],"date-time":"2019-12-17T18:02:51Z","timestamp":1576605771000},"page":"800-855","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Substitutive Structure of Jeandel\u2013Rao Aperiodic Tilings"],"prefix":"10.1007","volume":"65","author":[{"given":"S\u00e9bastien","family":"Labb\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,12,17]]},"reference":[{"key":"153_CR1","unstructured":"Akiyama, S., Tan, B., Yuasa, H.: On B. Moss\u00e9\u2019s unilateral recognizability theorem (2017). arXiv:1801.03536"},{"key":"153_CR2","unstructured":"Audemard, G., Simon, L.: Glucose SAT solver (2019). https:\/\/www.labri.fr\/perso\/lsimon\/glucose\/"},{"key":"153_CR3","doi-asserted-by":"crossref","unstructured":"Baake, M., Grimm, U.: Aperiodic Order. Vol. 1. Encyclopedia of Mathematics and Its Applications, vol. 149. Cambridge University Press, Cambridge (2013)","DOI":"10.1017\/CBO9781139025256"},{"issue":"2","key":"153_CR4","doi-asserted-by":"publisher","first-page":"835","DOI":"10.3934\/dcds.2018036","volume":"38","author":"M Baake","year":"2018","unstructured":"Baake, M., Roberts, J.A.G., Yassawi, R.: Reversing and extended symmetries of shift spaces. Discrete Contin. Dyn. Syst. 38(2), 835\u2013866 (2018)","journal-title":"Discrete Contin. Dyn. Syst."},{"key":"153_CR5","unstructured":"Berger, R.: The undecidability of the Domino Problem. Ph.D. Thesis, Harvard University (1965)"},{"key":"153_CR6","series-title":"RIMS K\u00f4ky\u00fbroku Bessatsu","first-page":"81","volume-title":"Numeration and Substitution 2012","author":"V Berth\u00e9","year":"2014","unstructured":"Berth\u00e9, V., Delecroix, V.: Beyond substitutive dynamical systems: $$S$$-adic expansions. In: Akiyama, S., et al. (eds.) Numeration and Substitution 2012. RIMS K\u00f4ky\u00fbroku Bessatsu, vol. B46, pp. 81\u2013123. Research Institute for Mathematical Sciences (RIMS), Kyoto (2014)"},{"key":"153_CR7","doi-asserted-by":"crossref","unstructured":"Berth\u00e9, V., Rigo, M. (eds.): Combinatorics, Automata and Number Theory. Encyclopedia of Mathematics and Its Applications, vol. 135. Cambridge University Press, Cambridge (2010)","DOI":"10.1017\/CBO9780511777653"},{"key":"153_CR8","unstructured":"Berth\u00e9, V., Steiner, W., Thuswaldner, J., Yassawi, R.: Recognizability for sequences of morphisms (2017). arXiv:1705.00167"},{"issue":"2","key":"153_CR9","doi-asserted-by":"publisher","first-page":"317","DOI":"10.2969\/jmsj\/05020317","volume":"50","author":"M Boyle","year":"1998","unstructured":"Boyle, M., Tomiyama, J.: Bounded topological orbit equivalence and $$C^*$$-algebras. J. Math. Soc. Jpn. 50(2), 317\u2013329 (1998)","journal-title":"J. Math. Soc. Jpn."},{"issue":"6\u20137","key":"153_CR10","doi-asserted-by":"publisher","first-page":"1238","DOI":"10.1016\/j.disc.2009.12.002","volume":"310","author":"E Charlier","year":"2010","unstructured":"Charlier, E., K\u00e4rki, T., Rigo, M.: Multidimensional generalized automatic sequences and shape-symmetric morphic words. Discrete Math. 310(6\u20137), 1238\u20131252 (2010)","journal-title":"Discrete Math."},{"key":"153_CR11","unstructured":"Chen, H.-H., Hu, W.-G., Lai, D.-J., Lin, S.-S.: Decidability of plane edge coloring with three colors (2012). arXiv:1210.6712"},{"issue":"1\u20133","key":"153_CR12","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0012-365X(96)00118-5","volume":"160","author":"K Culik II","year":"1996","unstructured":"Culik II, K.: An aperiodic set of $$13$$ Wang tiles. Discrete Math. 160(1\u20133), 245\u2013251 (1996)","journal-title":"Discrete Math."},{"key":"153_CR13","unstructured":"Frank, N.P.: Introduction to hierarchical tiling dynamical systems. In: Tiling and Recurrence. CIRM, Marseille (2017)"},{"key":"153_CR14","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s10711-013-9893-7","volume":"171","author":"NP Frank","year":"2014","unstructured":"Frank, N.P., Sadun, L.: Fusion: a general framework for hierarchical tilings of $$\\mathbb{R}^d$$. Geom. Dedicata 171, 149\u2013186 (2014)","journal-title":"Geom. Dedicata"},{"issue":"11\u201312","key":"153_CR15","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1016\/j.crma.2012.06.007","volume":"350","author":"F G\u00e4hler","year":"2012","unstructured":"G\u00e4hler, F., Julien, A., Savinien, J.: Combinatorics and topology of the Robinson tiling. C. R. Math. Acad. Sci. Paris 350(11\u201312), 627\u2013631 (2012)","journal-title":"C. R. Math. Acad. Sci. Paris"},{"key":"153_CR16","volume-title":"Tilings and Patterns","author":"B Gr\u00fcnbaum","year":"1987","unstructured":"Gr\u00fcnbaum, B., Shephard, G.C.: Tilings and Patterns. W. H. Freeman and Company, New York (1987)"},{"key":"153_CR17","unstructured":"Gurobi\u00a0Optimization, L.: Gurobi optimizer reference manual (2018). http:\/\/www.gurobi.com"},{"key":"153_CR18","unstructured":"Jeandel, E.: Undecidability of the domino problem. In: Tiling and Recurrence. CIRM, Marseille (2017)"},{"key":"153_CR19","unstructured":"Jeandel, E., Rao, M.: An aperiodic set of 11 Wang tiles (2015). arXiv:1506.06492"},{"issue":"1\u20133","key":"153_CR20","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0012-365X(95)00120-L","volume":"160","author":"J Kari","year":"1996","unstructured":"Kari, J.: A small aperiodic set of Wang tiles. Discrete Math. 160(1\u20133), 259\u2013264 (1996)","journal-title":"Discrete Math."},{"key":"153_CR21","unstructured":"Knuth, D.E.: The Art of Computer Programming. Vol. 1: Fundamental Algorithms. 2nd printing. Addison-Wesley, Reading (1969)"},{"key":"153_CR22","unstructured":"Knuth, D.E.: Dancing links. In: Millenial Perspectives in Computer Science, pp. 187\u2013214 (2000). arXiv:cs\/0011047"},{"key":"153_CR23","unstructured":"Labb\u00e9, S.: Optional SageMath Package slabbe (Version 0.6) (2019). https:\/\/pypi.python.org\/pypi\/slabbe\/"},{"key":"153_CR24","unstructured":"Labb\u00e9, S.: SageMath Jupyter notebook (2019). https:\/\/nbviewer.jupyter.org\/url\/www.slabbe.org\/Publications\/arxiv_1808_07768_v4.ipynb"},{"key":"153_CR25","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s10711-018-0384-8","volume":"201","author":"S Labb\u00e9","year":"2019","unstructured":"Labb\u00e9, S.: A self-similar aperiodic set of 19 Wang tiles. Geom. Dedicata 201, 81\u2013109 (2019)","journal-title":"Geom. Dedicata"},{"key":"153_CR26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626302","volume-title":"An Introduction to Symbolic Dynamics and Coding","author":"D Lind","year":"1995","unstructured":"Lind, D., Marcus, B.: An Introduction to Symbolic Dynamics and Coding. Cambridge University Press, Cambridge (1995)"},{"issue":"2","key":"153_CR27","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/0304-3975(92)90357-L","volume":"99","author":"B Moss\u00e9","year":"1992","unstructured":"Moss\u00e9, B.: Puissances de mots et reconnaissabilit\u00e9 des points fixes d\u2019une substitution. Theor. Comput. Sci. 99(2), 327\u2013334 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"153_CR28","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF02793412","volume":"53","author":"S Mozes","year":"1989","unstructured":"Mozes, S.: Tilings, substitution systems and dynamical systems generated by them. J. Anal. Math. 53, 139\u2013186 (1989)","journal-title":"J. Anal. Math."},{"key":"153_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1007\/978-3-540-69407-6_51","volume-title":"Logic and Theory of Algorithms","author":"N Ollinger","year":"2008","unstructured":"Ollinger, N.: Two-by-two substitution systems and the undecidability of the domino problem. In: Beckmann, A., et al. (eds.) Logic and Theory of Algorithms. Lecture Notes in Computer Science, vol. 5028, pp. 476\u2013485. Springer, Berlin (2008)"},{"key":"153_CR30","doi-asserted-by":"crossref","unstructured":"Queff\u00e9lec, M.: Substitution Dynamical Systems\u2014Spectral Analysis. Lecture Notes in Mathematics, vol. 1294, 2nd edn. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-11212-6"},{"key":"153_CR31","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BF01418780","volume":"12","author":"RM Robinson","year":"1971","unstructured":"Robinson, R.M.: Undecidability and nonperiodicity for tilings of the plane. Invent. Math. 12, 177\u2013209 (1971)","journal-title":"Invent. Math."},{"key":"153_CR32","doi-asserted-by":"crossref","unstructured":"Sadun, L.: Topology of Tiling Spaces. University Lecture Series, vol. 46. American Mathematical Society, Providence (2008)","DOI":"10.1090\/ulect\/046"},{"key":"153_CR33","unstructured":"Sage Developers. SageMath, the Sage Mathematics Software System (Version 8.9) (2019). http:\/\/www.sagemath.org"},{"key":"153_CR34","series-title":"The IMA Volumes in Mathematics and Its Applications","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-1-4613-0165-3_3","volume-title":"Codes, Systems, and Graphical Models","author":"K Schmidt","year":"2001","unstructured":"Schmidt, K.: Multi-dimensional symbolic dynamical systems. In: Marcus, B., Rosenthal, J. (eds.) Codes, Systems, and Graphical Models. The IMA Volumes in Mathematics and Its Applications, vol. 123, pp. 67\u201382. Springer, New York (2001)"},{"issue":"5","key":"153_CR35","doi-asserted-by":"publisher","first-page":"1607","DOI":"10.1017\/etds.2015.118","volume":"37","author":"J Siefken","year":"2017","unstructured":"Siefken, J.: A minimal subsystem of the Kari\u2013Culik tilings. Ergodic Theory Dyn. Syst. 37(5), 1607\u20131634 (2017)","journal-title":"Ergodic Theory Dyn. Syst."},{"issue":"3","key":"153_CR36","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1017\/S0143385797084988","volume":"17","author":"B Solomyak","year":"1997","unstructured":"Solomyak, B.: Dynamics of self-similar tilings. Ergodic Theory Dyn. Syst. 17(3), 695\u2013738 (1997)","journal-title":"Ergodic Theory Dyn. Syst."},{"issue":"2","key":"153_CR37","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/PL00009386","volume":"20","author":"B Solomyak","year":"1998","unstructured":"Solomyak, B.: Nonperiodicity implies unique composition for self-similar translationally finite tilings. Discrete Comput. Geom. 20(2), 265\u2013279 (1998)","journal-title":"Discrete Comput. Geom."},{"issue":"1","key":"153_CR38","doi-asserted-by":"publisher","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 Syst. Tech. J. 40(1), 1\u201341 (1961)","journal-title":"II. Bell Syst. Tech. J."}],"container-title":["Discrete & Computational Geometry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-019-00153-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00454-019-00153-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-019-00153-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,8]],"date-time":"2022-10-08T18:34:25Z","timestamp":1665254065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00454-019-00153-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,17]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["153"],"URL":"https:\/\/doi.org\/10.1007\/s00454-019-00153-3","relation":{},"ISSN":["0179-5376","1432-0444"],"issn-type":[{"type":"print","value":"0179-5376"},{"type":"electronic","value":"1432-0444"}],"subject":[],"published":{"date-parts":[[2019,12,17]]},"assertion":[{"value":"30 August 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 August 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 November 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 December 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}