{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:04:34Z","timestamp":1770275074407,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540167617","type":"print"},{"value":"9783540398592","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16761-7_77","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:51:55Z","timestamp":1330177915000},"page":"275-283","source":"Crossref","is-referenced-by-count":50,"title":["Alternating automata, the weak monadic theory of the tree, and its complexity"],"prefix":"10.1007","author":[{"given":"David E.","family":"Muller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Saoudi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul E.","family":"Schupp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"D.E. Muller and P.E. Schupp, The theory of ends. pushdown automata and second-order logic, Theoretical Computer Science 37, (1985).","DOI":"10.1016\/0304-3975(85)90087-8"},{"key":"29_CR2","unstructured":"D.E. Muller and P.E. Schupp, Alternating automata on infinite objects and Rabin's theorem, submitted to Theoretical Computer Science."},{"key":"29_CR3","first-page":"1","volume":"141","author":"M.O. Rabin","year":"1969","unstructured":"M.O. Rabin, Decidability of second-order theories and automata on infinite trees, Trans. Amer. Math. Soc. 141 (1969), 1\u201335.","journal-title":"Trans. Amer. Math. Soc."},{"key":"29_CR4","first-page":"1","volume-title":"Weakly definable relations and special automata, Math","author":"M.O. Rabin","year":"1972","unstructured":"M.O. Rabin, Weakly definable relations and special automata, Math. Logic and Foundations of Set Theory, North-Holland. 1972, 1\u201323."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16761-7_77.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:05:12Z","timestamp":1619543112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16761-7_77"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167617","9783540398592"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-16761-7_77","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986]]}}}