{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:28:55Z","timestamp":1742966935891,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031617157"},{"type":"electronic","value":"9783031617164"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-61716-4_17","type":"book-chapter","created":{"date-parts":[[2024,5,29]],"date-time":"2024-05-29T03:47:52Z","timestamp":1716954472000},"page":"257-272","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Characterizing Morphic Sequences"],"prefix":"10.1007","author":[{"given":"Hans","family":"Zantema","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,5,22]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Allouche, J.-P., Shallit, J.: Automatic sequences: theory, applications, generalizations (2003)","DOI":"10.1017\/CBO9780511546563"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-37064-9_24","volume-title":"Language and Automata Theory and Applications","author":"J Endrullis","year":"2013","unstructured":"Endrullis, J., Grabmayer, C., Hendriks, D.: Mix-automatic sequences. In: Dediu, A.-H., Mart\u00edn-Vide, C., Truthe, B. (eds.) LATA 2013. LNCS, vol. 7810, pp. 262\u2013274. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37064-9_24"},{"key":"17_CR3","unstructured":"Kennaway, R., de\u00a0Vries, F.-J.: Infinitary rewriting. In: Term Rewriting Systems, by Terese, pp. 668\u2013711. Cambridge University Press (2003)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Rigo, M.: Formal Languages, Automata and Numeration Systems, Part 1. Wiley (2014)","DOI":"10.1002\/9781119008200"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Rigo, M.: Formal Languages, Automata and Numeration Systems, Part 2. Wiley (2014)","DOI":"10.1002\/9781119042853"},{"key":"17_CR6","unstructured":"TERESE. Term Rewriting Systems. Cambridge University Press (2003)"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-540-70590-1_30","volume-title":"Rewriting Techniques and Applications","author":"H Zantema","year":"2008","unstructured":"Zantema, H.: Normalization of infinite terms. In: Voronkov, A. (ed.) RTA 2008. LNCS, vol. 5117, pp. 441\u2013455. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70590-1_30"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-02348-4_12","volume-title":"Rewriting Techniques and Applications","author":"H Zantema","year":"2009","unstructured":"Zantema, H.: Well-definedness of streams by termination. In: Treinen, R. (ed.) RTA 2009. LNCS, vol. 5595, pp. 164\u2013178. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02348-4_12"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Zantema, H.: Turtle graphics of morphic sequences. Fractals 24(1) (2016). Preversion http:\/\/www.win.tue.nl\/~hzantema\/turtle.pdf","DOI":"10.1142\/S0218348X16500092"},{"key":"17_CR10","unstructured":"Zantema, H.: Characterizing morphic sequences. Extended version (2023). https:\/\/arxiv.org\/abs\/2309.10562"},{"key":"17_CR11","unstructured":"Zantema, H.: Spelen met oneindigheid: verrassende figuren en patronen. Noordboek 2023, p. 240 (2023). (in Dutch)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Zantema, H.: Playing with Infinity: Turtles, Patterns and Pictures. Taylor & Francis (2024 to appear)","DOI":"10.1201\/9781003466000"},{"key":"17_CR13","unstructured":"Zantema, H., Endrullis, J.: Proving equality of streams automatically. In: Schmidt-Schlauss, M. (ed.) Proceedings of the 22nd International Conference on Rewriting Techniques and Applications. Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, vol.\u00a010, pp. 393\u2013408. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik (2011)"},{"key":"17_CR14","unstructured":"Zantema, H., Raffelsieper, M.: Proving productivity in infinite data structures. In: Lynch, C. (ed.) Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, vol. 6, pp. 401\u2013416. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik (2010)"}],"container-title":["Lecture Notes in Computer Science","Logics and Type Systems in Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-61716-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,29]],"date-time":"2024-05-29T03:49:38Z","timestamp":1716954578000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-61716-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031617157","9783031617164"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-61716-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"22 May 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}