{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:35Z","timestamp":1725455855888},"publisher-location":"Berlin\/Heidelberg","reference-count":6,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354010576X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017307","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:22:34Z","timestamp":1132644154000},"page":"152-158","source":"Crossref","is-referenced-by-count":4,"title":["A decidable property of iterated morphisms"],"prefix":"10.1007","author":[{"given":"J. J.","family":"Pansiot","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","first-page":"175","DOI":"10.24033\/bsmf.1823","volume":"104","author":"J. Berstel","year":"1976","unstructured":"Berstel J., Mignotte M. (1976), Deux propri\u00e9t\u00e9s d\u00e9cidables des suites r\u00e9currentes lin\u00e9aires, Bull. Soc. Math. France 104 p 175\u2013184.","journal-title":"Bull. Soc. Math. France"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/BF01706087","volume":"6","author":"A. Cobham","year":"1972","unstructured":"Cobham A. (1972), Uniform Tag Sequences, Math. Systems Theory 6 p 164\u2013192.","journal-title":"Math. Systems Theory"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/S0019-9958(77)90512-5","volume":"35","author":"K. Culik","year":"1977","unstructured":"Culik K., Fris I. (1977), The decidability of the equivalence problem for DOL-Systems, Inf. and Control 35 p 20\u201339.","journal-title":"Inf. and Control"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Culik K. and Salomaa A. (1980), On infinite words obtained by iterating morphisms, University of Waterloo, Research Report CS 29-80.","DOI":"10.1016\/0304-3975(82)90013-5"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1016\/S0019-9958(74)90857-2","volume":"25","author":"M. Nielsen","year":"1974","unstructured":"Nielsen M. (1974), On the decidability of some equivalence problems for DOL-Systems, Inf. and Control 25 p 166\u2013193.","journal-title":"Inf. and Control"},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1017\/S0004972700023042","volume":"16","author":"A.J. Poorten Van der","year":"1977","unstructured":"Van der Poorten A.J., Loxton J.H. (1977), Multiplicative relations in number fields, Bull. Austral. Math. Soc. 16 p 83\u201398.","journal-title":"Bull. Austral. Math. Soc."}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017307.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T14:37:32Z","timestamp":1683297452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017307"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354010576X"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0017307","relation":{},"subject":[]}}