{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:07Z","timestamp":1725664507499},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609223"},{"type":"electronic","value":"9783540497233"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60922-9_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:04:42Z","timestamp":1330272282000},"page":"477-490","source":"Crossref","is-referenced-by-count":5,"title":["On the expressivity of the modal mu-calculus"],"prefix":"10.1007","author":[{"given":"J. C.","family":"Bradfield","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"39_CR1","first-page":"451","volume":"EIK 26","author":"A. Arnold","year":"1990","unstructured":"A. Arnold and D. Niwinski, Fixed point characterization of B\u00fcchi automata on infinite trees. J. Inf. Process. Cybern., EIK 26, 451\u2013459 (1990).","journal-title":"J. Inf. Process. Cybern."},{"key":"39_CR2","volume-title":"Verifying Temporal Properties of Systems","author":"J. C. Bradfield","year":"1991","unstructured":"J. C. Bradfield, Verifying Temporal Properties of Systems. Birkh\u00e4user, Boston, Mass. ISBN 0-8176-3625-0 (1991)."},{"key":"39_CR3","first-page":"316","volume":"663","author":"J. C. Bradfield","year":"1993","unstructured":"J. C. Bradfield, A proof assistant for symbolic model-checking. Proc. CAV '92. LNCS 663 316\u2013329 (1993).","journal-title":"Proc. CAV '92. LNCS"},{"key":"39_CR4","unstructured":"J. C. Bradfield, On the expressivity of the modal mu-calculus, Technical Report ECS-LFCS-95-338, LFCS, University of Edinburgh (1995). On-line via http:\/\/www.dcs.ed.ac.uk\/home\/jcb\/."},{"key":"39_CR5","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0304-3975(92)90183-G","volume":"96","author":"J. C. Bradfield","year":"1992","unstructured":"J. C. Bradfield and C. Stirling, Local model checking for infinite state spaces. Theoret. Comput. Sci.\n96 157\u2013174 (1992).","journal-title":"Theoret. Comput. Sci."},{"key":"39_CR6","unstructured":"E. A. Emerson and C.-L. Lei, Efficient model checking in fragments of the propositional mu-calculus. Proc. First IEEE Symp. on Logic in Computer Science 267\u2013278 (1986)."},{"key":"39_CR7","first-page":"115","volume":"787","author":"J. Esparza","year":"1994","unstructured":"J. Esparza, On the decidability of model-checking for several \u03bc-calculi and Petri nets, Proc. CAAP '94, LNCS 787 115\u2013129 (1994).","journal-title":"Proc. CAAP '94, LNCS"},{"key":"39_CR8","first-page":"143","volume":"30","author":"J. Esparza","year":"1994","unstructured":"J. Esparza and M. Nielsen, Decidability issues for Petri nets \u2014 a survey, J. Inform. Process. Cybernet.\n30 143\u2013160 (1994).","journal-title":"J. Inform. Process. Cybernet."},{"key":"39_CR9","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0020-0190(94)00227-P","volume":"54","author":"R. Kaivola","year":"1995","unstructured":"R. Kaivola, On modal mu-calculus and B\u00fcchi tree automata. Inf. Proc. Letters\n54 17\u201322 (1995).","journal-title":"Inf. Proc. Letters"},{"key":"39_CR10","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"D. Kozen, Results on the propositional mu-calculus. Theoret. Comput. Sci.\n27 333\u2013354 (1983).","journal-title":"Theoret. Comput. Sci."},{"key":"39_CR11","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0304-3975(90)90038-J","volume":"72","author":"K. Larsen","year":"1990","unstructured":"K. Larsen, Proof systems for satisfiability in Hennessy-Milner logic with recursion. Theoret. Comput. Sci.\n72 265\u2013288 (1990).","journal-title":"Theoret. Comput. Sci."},{"key":"39_CR12","volume-title":"Descriptive set theory","author":"Y. N. Moschovakis","year":"1980","unstructured":"Y. N. Moschovakis, Descriptive set theory. North-Holland, Amsterdam & New York (1980)."},{"key":"39_CR13","first-page":"464","volume":"226","author":"D. Niwi\u0144ski","year":"1986","unstructured":"D. Niwi\u0144ski, On fixed point clones. Proc. 13th ICALP, LNCS 226 464\u2013473 (1986).","journal-title":"Proc. 13th ICALP, LNCS"},{"key":"39_CR14","first-page":"1","volume-title":"Mathematical Logic and Foundations of Set Theory","author":"M. O. Rabin","year":"1970","unstructured":"M. O. Rabin, Weakly definable relations and special automata, in Y. Bar-Hillel (ed.) Mathematical Logic and Foundations of Set Theory, North-Holland, Amsterdam (1970), 1\u201323."}],"container-title":["Lecture Notes in Computer Science","STACS 96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60922-9_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:28:10Z","timestamp":1619558890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60922-9_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609223","9783540497233"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-60922-9_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}