乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:19:12Z","timestamp":1725560352783},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540286202"},{"type":"electronic","value":"9783540318767"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11548133_19","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T16:07:40Z","timestamp":1279728460000},"page":"293-312","source":"Crossref","is-referenced-by-count":3,"title":["The Category Theoretic Solution of Recursive Program Schemes"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Milius","sequence":"first","affiliation":[]},{"given":"Lawrence S.","family":"Moss","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(02)00728-4","volume":"300","author":"P. Aczel","year":"2003","unstructured":"Aczel, P., Ad\u00e1mek, J., Milius, S., Velebil, J.: Infinite Trees and Completely Iterative Theories: A Coalgebraic View. Theoret.\u00a0Comput.\u00a0Sci.\u00a0300, 1\u201345 (2003)","journal-title":"Theoret.\u00a0Comput.\u00a0Sci."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Ad\u00e1mek, J.: On a Description of Terminal Coalgebras and Iterative Theories. Electron.\u00a0Notes Theor.\u00a0Comput.\u00a0Sci.\u00a082(1) (2003)","DOI":"10.1016\/S1571-0661(04)80629-7"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1017\/S0960129502003924","volume":"13","author":"J. Ad\u00e1mek","year":"2003","unstructured":"Ad\u00e1mek, J., Milius, S., Velebil, J.: Free Iterative Theories: A Coalgebraic View. Math.\u00a0Structures Comput.\u00a0Sci.\u00a013, 259\u2013320 (2003)","journal-title":"Math.\u00a0Structures Comput.\u00a0Sci."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Ad\u00e1mek, J., Milius, S., Velebil, J.: From Iterative Algebras to Iterative Theories. Electron.\u00a0Notes Theor.\u00a0Comput.\u00a0Sci.\u00a0106, 3\u201324 (2004); full version submitted and available at the URL, http:\/\/www.iti.cs.tu-bs.de\/~milius","DOI":"10.1016\/j.entcs.2004.02.033"},{"key":"19_CR5","unstructured":"Ad\u00e1mek, J., Milius, S., Velebil, J.: Elgot Algebras. Electron.\u00a0Notes Theor.\u00a0Comput.\u00a0Sci., available at the URL, http:\/\/www.iti.cs.tu-bs.de\/~milius (to appear)"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/S0304-3975(03)00378-5","volume":"311","author":"J. Ad\u00e1mek","year":"2004","unstructured":"Ad\u00e1mek, J., Porst, H.E.: On tree coalgebras and coalgebra presentations. Theoret.\u00a0Comput.\u00a0Sci.\u00a0311, 257\u2013283 (2004)","journal-title":"Theoret.\u00a0Comput.\u00a0Sci."},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF00878504","volume":"2","author":"J. Ad\u00e1mek","year":"1994","unstructured":"Ad\u00e1mek, J., Reitermann, J.: Banach\u2019s Fixed-Point Theorem as a Base for Data-Type Equations. Appl.\u00a0Categ.\u00a0Structures\u00a02, 77\u201390 (1994)","journal-title":"Appl.\u00a0Categ.\u00a0Structures"},{"key":"19_CR8","volume-title":"Automata and Algebras in Categories","author":"J. Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek, J., Trnkov\u00e1, V.: Automata and Algebras in Categories. Kluwer Academic Publishers, Dordrecht (1990)"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0022-0000(89)90027-5","volume":"39","author":"P. America","year":"1989","unstructured":"America, P., Rutten, J.: Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. J.\u00a0Comput.\u00a0System Sci.\u00a039, 343\u2013375 (1989)","journal-title":"J.\u00a0Comput.\u00a0System Sci."},{"issue":"4","key":"19_CR10","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1980-3405","volume":"III","author":"A. Arnold","year":"1980","unstructured":"Arnold, A., Nivat, M.: The metric space of infinite trees. Fund.\u00a0Inform.\u00a0III(4), 445\u2013476 (1980)","journal-title":"Fund.\u00a0Inform."},{"key":"19_CR11","volume-title":"Fractals everywhere","author":"M.F. Barnsley","year":"1988","unstructured":"Barnsley, M.F.: Fractals everywhere. Academic Press, London (1988)"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","volume":"114","author":"M. Barr","year":"1993","unstructured":"Barr, M.: Terminal coalgebras in well-founded set theory. Theoret.\u00a0Comput.\u00a0Sci.\u00a0114, 299\u2013315 (1993)","journal-title":"Theoret.\u00a0Comput.\u00a0Sci."},{"key":"19_CR13","unstructured":"Barwise, J., Moss, L.S.: Vicious Circles. CSLI Publications, Stanford (1996)"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0022-0000(83)90041-7","volume":"27","author":"S.L. Bloom","year":"1983","unstructured":"Bloom, S.L.: All Solutions of a System of Recursion Equations in Infinite Trees and Other Contraction Theories. J.\u00a0Comput.\u00a0System Sci.\u00a027, 225\u2013255 (1983)","journal-title":"J.\u00a0Comput.\u00a0System Sci."},{"key":"19_CR15","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-78034-9","volume-title":"Iteration Theories: The equational logic of iterative processes","author":"S.L. Bloom","year":"1993","unstructured":"Bloom, S.L., \u00c9sik, Z.: Iteration Theories: The equational logic of iterative processes. EATCS Monographs on Theoretical Computer Science. Springer, Berlin (1993)"},{"issue":"2","key":"19_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B. Courcelle","year":"1983","unstructured":"Courcelle, B.: Fundamental properties of infinite trees. Theoret.\u00a0Comput.\u00a0Sci.\u00a025(2), 95\u2013169 (1983)","journal-title":"Theoret.\u00a0Comput.\u00a0Sci."},{"key":"19_CR17","volume-title":"Logic Colloquium 1973","author":"C.C. Elgot","year":"1975","unstructured":"Elgot, C.C.: Monadic Computation and Iterative Algebraic Theories. In: Rose, H.E., Shepherdson, J.C. (eds.) Logic Colloquium 1973. North-Holland Publishers, Amsterdam (1975)"},{"key":"19_CR18","first-page":"361","volume":"16","author":"C.C. Elgot","year":"1978","unstructured":"Elgot, C.C., Bloom, S.L., Tindell, R.: On the Algebraic Structure of Rooted Trees. J.\u00a0Comput.\u00a0System Sci.\u00a016, 361\u2013399 (1978)","journal-title":"J.\u00a0Comput.\u00a0System Sci."},{"key":"19_CR19","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1051\/ita:2003021","volume":"37","author":"N. Ghani","year":"2003","unstructured":"Ghani, N., L\u00fcth, C., De Marchi, F.: Solving Algebraic Equations using Coalgebra. Theor.\u00a0Inform.\u00a0Appl.\u00a037, 301\u2013314 (2003)","journal-title":"Theor.\u00a0Inform.\u00a0Appl."},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10284-1","volume-title":"Algebraic Semantics","author":"I. Guessarian","year":"1981","unstructured":"Guessarian, I.: Algebraic Semantics. LNCS, vol.\u00a099. Springer, Heidelberg (1981)"},{"key":"19_CR21","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF01110627","volume":"103","author":"J. Lambek","year":"1968","unstructured":"Lambek, J.: A Fixpoint Theorem for Complete Categories. Math. Z.\u00a0103, 151\u2013161 (1968)","journal-title":"Math. Z."},{"key":"19_CR22","unstructured":"Leinster, T.: General self-similarity: an overview, e-print math.DS\/0411343 v1"},{"key":"19_CR23","unstructured":"Leinster, T.: A general theory of self-similarity I, e-print math.DS\/041344"},{"key":"19_CR24","unstructured":"Leinster, T.: A general theory of self-similarity II, e-print math.DS\/0411345"},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"Matthes, R., Uustalu, T.: Substitution in Non-Wellfounded Syntax with Variable Binding. In: Gumm, H.P. (ed.) Electron.\u00a0Notes Theor.\u00a0Comput.\u00a0Sci., vol.\u00a082 (2003)","DOI":"10.1016\/S1571-0661(04)80639-X"},{"key":"19_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2004.05.003","volume":"196","author":"S. Milius","year":"2005","unstructured":"Milius, S.: Completely Iterative Algebras and Completely Iterative Monads. Inform.\u00a0and Comput.\u00a0196, 1\u201341 (2005)","journal-title":"Inform.\u00a0and Comput."},{"key":"19_CR27","unstructured":"Milius, S., Moss, L.S.: The Category Theoretic Solution of Recursive Program Schemes, full version, available at the URL http:\/\/www.iti.cs.tu-bs.de\/milius"},{"issue":"1\u20132","key":"19_CR28","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0304-3975(00)00126-2","volume":"260","author":"L.S. Moss","year":"2001","unstructured":"Moss, L.S.: Parametric Corecursion. Theoret.\u00a0Comput.\u00a0Sci.\u00a0260(1\u20132), 139\u2013163 (2001)","journal-title":"Theoret.\u00a0Comput.\u00a0Sci."},{"key":"19_CR29","unstructured":"Moss, L.S.: The Coalgebraic Treatment of Second-Order Substitution and Uninterpreted Recursive Program Schemes, preprint (2002)"},{"key":"19_CR30","doi-asserted-by":"crossref","unstructured":"Worrell, J.: On the Final Sequence of a Finitary Set Functor. Theoret.\u00a0Comput.\u00a0Sci. (accepted for publication)","DOI":"10.1016\/j.tcs.2004.12.009"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11548133_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,31]],"date-time":"2021-10-31T20:59:56Z","timestamp":1635713996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11548133_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540286202","9783540318767"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/11548133_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}