{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:03:35Z","timestamp":1743120215990,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662476659"},{"type":"electronic","value":"9783662476666"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-662-47666-6_12","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T07:46:47Z","timestamp":1434700007000},"page":"146-158","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Limited Set quantifiers over Countable Linear Orderings"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Colcombet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. V.","family":"Sreejith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"12_CR1","unstructured":"B\u00e8s, A., Carton, O.: Algebraic characterization of FO for scattered linear orderings. In: CSL. LIPIcs, vol. 12, pp. 67\u201381. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)"},{"key":"12_CR2","unstructured":"B\u00e8s, A., Carton,O.: Algebraic characterization of WMSO for scattered linear orderings. Personal communication (2014)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Richard B\u00fcchi, J.: On a decision method in restricted second order arithmetic. In: Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.), pp. 1\u201311. Stanford Univ. Press, Stanford (1962)","DOI":"10.1016\/S0049-237X(09)70564-6"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-22012-8_9","volume-title":"Automata, Languages and Programming","author":"O Carton","year":"2011","unstructured":"Carton, O., Colcombet, T., Puppis, G.: Regular languages of words over countable linear orderings. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011, Part II. LNCS, vol. 6756, pp. 125\u2013136. Springer, Heidelberg (2011)"},{"issue":"04","key":"12_CR5","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1142\/S0129054105003285","volume":"16","author":"R Chlo\u00e9","year":"2005","unstructured":"Chlo\u00e9, R., Carton, O.: An algebraic theory for regular languages of finite and infinite words. Int. J. of Foundations of Comp. Sc. 16(04), 767\u2013786 (2005)","journal-title":"Int. J. of Foundations of Comp. Sc."},{"key":"12_CR6","unstructured":"Colcombet, T.: Monadic second-order logic and cuts in the backgrounds. In: CSR, page Invited Paper (2013)"},{"key":"12_CR7","unstructured":"Rosenstein, J.G.: Linear Orderings. Academic Press (1982)"},{"issue":"2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"946","DOI":"10.2307\/2586579","volume":"65","author":"Y Gurevich","year":"2000","unstructured":"Gurevich, Y., Rabinovich, A.M.: Definability and undefinability with real order at the background. J. Symb. Log. 65(2), 946\u2013958 (2000)","journal-title":"J. Symb. Log."},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1016\/S0019-9958(66)80013-X","volume":"9","author":"R McNaughton","year":"1966","unstructured":"McNaughton, R.: Testing and generating infinite sequences by a finite automaton. Information and Control 9, 521\u2013530 (1966)","journal-title":"Information and Control"},{"key":"12_CR10","unstructured":"McNaughton, R., Papert, S.: Counter-free Automata. MIT Press (1971)"},{"key":"12_CR11","first-page":"1","volume":"141","author":"MO Rabin","year":"1969","unstructured":"Rabin, M.O.: Decidability of second-order theories and automata on infinite trees. Trans. Amer. Math. Soc. 141, 1\u201335 (1969)","journal-title":"Trans. Amer. Math. Soc."},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/S0019-9958(65)90108-7","volume":"8","author":"M-P Sch\u00fctzenberger","year":"1965","unstructured":"Sch\u00fctzenberger, M.-P.: On finite monoids having only trivial subgroups. Information and Control 8, 190\u2013194 (1965)","journal-title":"Information and Control"},{"issue":"3","key":"12_CR13","doi-asserted-by":"publisher","first-page":"379","DOI":"10.2307\/1971037","volume":"102","author":"S Shelah","year":"1975","unstructured":"Shelah, S.: The monadic theory of order. Ann. of Math. (2) 102(3), 379\u2013419 (1975)","journal-title":"Ann. of Math. (2)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Thomas, W.: Languages, automata and logic. In: Rozenberg, G., Salomaa, A., (eds.) Handbook of Formal Languages, vol. 3, chapter 7, pp. 389\u2013455. Springer (1997)","DOI":"10.1007\/978-3-642-59126-6_7"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages, and Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-47666-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T18:27:55Z","timestamp":1674239275000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-47666-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662476659","9783662476666"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-47666-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}