{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:40:55Z","timestamp":1725496855989},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665366"},{"type":"electronic","value":"9783540481683"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48168-0_25","type":"book-chapter","created":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T11:30:26Z","timestamp":1196508626000},"page":"350-361","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Fixpoint Alternation and the Game Quantifier"],"prefix":"10.1007","author":[{"given":"J. C.","family":"Bradfield","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"25_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/3-540-56992-8_8","volume-title":"Computer science logic","author":"U. Bosse","year":"1993","unstructured":"U. Bosse, An \u2018Ehrenfeucht-Frai\u00efss\u00e9 game\u2019 for fixpoint logic and stratified fixpoint logic. Computer science logic, LNCS 702 (San Miniato, 1992) 100\u2013114."},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0304-3975(97)00217-X","volume":"195","author":"J. C. Bradfield","year":"1997","unstructured":"J. C. Bradfield, The modal mu-calculus alternation hierarchy is strict, Theor. Comput. Sci. 195 133\u2013153 (1997).","journal-title":"Theor. Comput. Sci"},{"key":"25_CR3","series-title":"Lect Notes Comput Sci","first-page":"367","volume-title":"Proc. FCT\u2019 77","author":"J. R. B\u00fcchi","year":"1997","unstructured":"J. R. B\u00fcchi, Using determinancy of games to eliminate quantifers, Proc. FCT\u2019 77, LNCS 56 367\u2013378 (1977)."},{"key":"25_CR4","unstructured":"E. A. Emerson and C. S. Jutla, Tree automata, mu-calculus and determinacy, in: Proc. FOCS 91. (1991)"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"R. S. Lubarsky, \u03bc-definable sets of integers, J. Symbolic Logic 58 (1993) 291\u2013313.","DOI":"10.2307\/2275338"},{"key":"25_CR6","unstructured":"Y. N. Moschovakis, Descriptive Set Theory (North-Holland, Amsterdam, 1980)."},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00039-X","volume":"189","author":"D. Niwi\u0144ski","year":"1997","unstructured":"D. Niwi\u0144ski, Fixed point characterization of infinite behavior of finite state systems. Theoret. Comput. Sci. 189 (1997) 1\u201369.","journal-title":"Theoret. Comput. Sci"},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S0304-3975(97)00301-0","volume":"191","author":"V. Selivanov","year":"1998","unstructured":"V. Selivanov, Fine hierarchy of regular \u03c9-languages, Theoret. Comput. Sci. 191 (1998) 37\u201359.","journal-title":"Theoret. Comput. Sci"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48168-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T04:09:12Z","timestamp":1586146152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48168-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665366","9783540481683"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-48168-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"13 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}