{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:17Z","timestamp":1761611297953},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540167617"},{"type":"electronic","value":"9783540398592"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16761-7_96","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:53:06Z","timestamp":1330195986000},"page":"464-473","source":"Crossref","is-referenced-by-count":49,"title":["On fixed-point clones"],"prefix":"10.1007","author":[{"given":"Damian","family":"Niwi\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"48_CR1","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/3-540-08442-8_65","volume-title":"Fundamentals of Computation Theory","author":"A. Arnold","year":"1977","unstructured":"Arnold, A. & Nivat, M. (1977), Non deterministic recursive programs, in \"Fundamentals of Computation Theory\", pp. 12\u201321, LNCS No. 56, Springer Verlag, Heidelberg."},{"key":"48_CR2","unstructured":"deBakker, J. & deRoever, W.P. (1973), A Calculus for Recursive Program Schemes, First Int.Coll.on Automata, Languages and Programming."},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"Emerson, A.E. & Clarke, E.C. (1980), Characterizing Correctness Properties of Parallel Programs using Fixpoints, Seventh Int.Coll. on Automata, Languages and Programming, 169\u2013181.","DOI":"10.1007\/3-540-10003-2_69"},{"key":"48_CR4","first-page":"328","volume":"15","author":"J. Engelfriet","year":"1978","unstructured":"Engelfriet, J. & Schmidt, E.M. (1978), IO and OI, JCSS 15 (1977), 328\u2013353 and 16 (1978), 67\u201399.","journal-title":"IO and OI, JCSS"},{"key":"48_CR5","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D. (1983), Results on the Propositional \u03bc-Calculus, TCS 27, 333\u201354.","journal-title":"TCS"},{"key":"48_CR6","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/S0019-9958(84)80049-2","volume":"61","author":"D. Niwi\u0144ski","year":"1984","unstructured":"Niwi\u0144ski, D. (1984), Fixed-Point Characterization of Context-Free \u221e-Languages, Inform. Contr. 61, 247\u2013276.","journal-title":"Inform. Contr."},{"key":"48_CR7","volume-title":"Computation Theory","author":"D. Niwi\u0144ski","year":"1985","unstructured":"Niwi\u0144ski, D. (1985), Equational \u03bc-calculus, in \"Computation Theory\", LNCS No. 208, Springer Verlag, Heidelberg."},{"key":"48_CR8","unstructured":"Niwi\u0144ski, D. (1986), A note on indices of Rabin pair automata, University of Warsaw, manuscript."},{"key":"48_CR9","volume-title":"Abstract Software specifications","author":"D. Park","year":"1980","unstructured":"Park, D. (1980), On the semantics of fair parallelism, in \"Abstract Software specifications\", LNCS No. 86, Springer Verlag, Heidelberg."},{"key":"48_CR10","first-page":"167","volume-title":"Concurrency and automata on infinite sequences","author":"D. Park","year":"1981","unstructured":"Park, D. (1981), Concurrency and automata on infinite sequences, LNCS No. 104, Springer Verlag, Heidelberg, 167\u2013183."},{"key":"48_CR11","first-page":"1","volume":"141","author":"M.O. Rabin","year":"1969","unstructured":"Rabin, M.O. (1969), Decidability os second-order theories and automata on infinite trees, in Trans. Amer. Math. Soc. 141, 1\u201335.","journal-title":"Trans. Amer. Math. Soc."},{"key":"48_CR12","doi-asserted-by":"crossref","unstructured":"Rabin, M.O. (1970), Weakly definable relations and special automata, in Math. Logic and Found. of Set Theory (Ed. Bar-Hillel), North-Holland.","DOI":"10.1016\/S0049-237X(08)71929-3"},{"key":"48_CR13","first-page":"1","volume":"13","author":"M.O. Rabin","year":"1972","unstructured":"Rabin, M.O. (1972), Automata on Infinite Objects and Church's Problem, in Proc. Regional AMS Conf. Series in Math. 13, 1\u201322.","journal-title":"Proc. Regional AMS Conf. Series in Math."},{"key":"48_CR14","doi-asserted-by":"crossref","unstructured":"Takahashi, M. (1985), The Greatest Fixed-Points and Rational Omega-Tree Languages, Universit\u00e9 Paris VII, manuscript.","DOI":"10.1016\/0304-3975(86)90123-4"},{"key":"48_CR15","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y. & Wolper, P. (1984), Automata-theoretic Techniques for Modal Logic of Programs, Report RJ 4450, IBM Research, Yorktown Heights.","DOI":"10.1145\/800057.808711"},{"key":"48_CR16","unstructured":"Wand, M. (1973), First Int.Coll. on Automata, Languages and Programming, 331\u2013344."},{"key":"48_CR17","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1016\/S0019-9958(66)80013-X","volume":"9","author":"R. McNaughton","year":"1966","unstructured":"McNaughton, R. (1966), Testing and generating infinite sequences by a finite automaton, Inform. Contr. 9, 521\u2013530.","journal-title":"Inform. Contr."}],"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_96.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:11:01Z","timestamp":1605643861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16761-7_96"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167617","9783540398592"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-16761-7_96","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}