{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:02:27Z","timestamp":1725483747246},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679011"},{"type":"electronic","value":"9783540446125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44612-5_23","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T13:28:20Z","timestamp":1178371700000},"page":"275-284","source":"Crossref","is-referenced-by-count":12,"title":["The Monadic Theory of Morphic Infinite Words and Generalizations"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Carton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Thomas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Jorge Almeida. Finite Semigroups and Universal Algebra. World Scientific, 1994.","DOI":"10.1142\/2481"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Fr\u00e9d\u00e9rique Bassino, Marie-Pierre B\u00e9al, and Dominique Perrin. Length distributions and regular sequences. Technical report, IGM, 2000.","DOI":"10.1007\/978-1-4613-0165-3_23"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"672","DOI":"10.2307\/2275227","volume":"58","author":"P. T. Bateman","year":"1993","unstructured":"P. T. Bateman, C. G. Jockusch, and A. R. Woods. Decidability and undecidibility of theories of with a predicate for the primes. J. Symb. Logic, 58:672\u2013687, 1993.","journal-title":"J. Symb. Logic"},{"key":"23_CR4","unstructured":"Jean Berstel. Axel Thue\u2019s work on repetitions in words. In P. Leroux and C. Reutenauer, editors, S\u00e9ries formelles et combinatoire alg\u00e9brique, pages 65\u201380. Publications du LaCIM, Universit\u00e9 du Qu\u00e9bec \u00e1 Montr\u00e9al, 1990."},{"key":"23_CR5","unstructured":"Jean Berstel and Patrice S\u00e9\u00e9bold. Algebraic Combinatorics on Words, chapter 2, pages 40\u201396. Cambridge University Press, 2000."},{"key":"23_CR6","unstructured":"J. Richard B\u00fcchi. On a decision method in the restricted second-order arithmetic. In Proc. Int. Congress Logic, Methodology and Philosophy of science, Berkeley 1960, pages 1\u201314. Stanford University Press, 1962."},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"169","DOI":"10.2307\/2269808","volume":"31","author":"J. R. B\u00fcchi","year":"1966","unstructured":"J. Richard B\u00fcchi and L. H. Landweber. Definability in the monadic second-order theory of successor. J. Symb. Logic, 31:169\u2013181, 1966.","journal-title":"J. Symb. Logic"},{"issue":"2","key":"23_CR8","doi-asserted-by":"publisher","first-page":"169","DOI":"10.2307\/2269808","volume":"31","author":"C. C. Elgot","year":"1966","unstructured":"Calvin C. Elgot and Micheal O. Rabin. Decidability and undecidibility of extensions of second (first) order theory of (generalized) successor. J. Symb. Logic, 31(2):169\u2013181, 1966.","journal-title":"J. Symb. Logic"},{"key":"23_CR9","series-title":"Dissertation","volume-title":"Decision Problems in B\u00fcchi\u2019s Sequential Calculus","author":"F. A. Hosch","year":"1971","unstructured":"F. A. Hosch. Decision Problems in B\u00fcchi\u2019s Sequential Calculus. Dissertation, University of New Orleans, Louisiana, 1971."},{"key":"23_CR10","first-page":"229","volume":"4","author":"A. Maes","year":"1999","unstructured":"Arnaud Maes. An automata theoretic decidability proof for the first-order theory of \u2329\u2115\u2329, P\u232a with morphic predicate P. Journal of Automata, Languages and Combinatorics, 4:229\u2013245, 1999.","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"C. Michaux and R. Villemaire. Open questions around B\u00fcchi and presburger arithmetics. In Wilfrid Hodges et al., editors, Logic: from foundations to applications. European logic colloquium, pages 353\u2013383, Oxford, 1996. Clarendon Press.","DOI":"10.1093\/oso\/9780198538622.003.0015"},{"key":"23_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6264-0","volume-title":"Automata-Theoric Aspects of Formal Power Series","author":"A. Salomaa","year":"1978","unstructured":"Arto Salomaa and Matti Soittola. Automata-Theoric Aspects of Formal Power Series. Springer-Verlag, New York, 1978."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"D. Siefkes. Decidable extensions of monadic second order successor arithmetic. In J. Doerr and G. Hotz, editors, Automatentheorie und Formale Sprachen, pages 441\u2013472, Mannheim, 1970. B.I. Hochschultaschenb\u00fccher.","DOI":"10.1007\/978-3-662-36678-3"},{"key":"23_CR14","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF01351676","volume":"237","author":"W. Thomas","year":"1978","unstructured":"Wolfgang Thomas. The theory of successor with an extra predicate. Math. Ann., 237 (121\u2013132), 1978.","journal-title":"Math. Ann."},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"334","DOI":"10.2307\/2273193","volume":"45","author":"W. Thomas","year":"1980","unstructured":"Wolfgang Thomas. On the bounded monadic theory of well-ordered structures. J. Symb. Logic, 45:334\u2013338, 1980.","journal-title":"J. Symb. Logic"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Wolfgang Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 4, pages 133\u2013191. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44612-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T03:36:17Z","timestamp":1707881777000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44612-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679011","9783540446125"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-44612-5_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}