{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:47:38Z","timestamp":1725670058093},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642287282"},{"type":"electronic","value":"9783642287299"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28729-9_6","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:47:40Z","timestamp":1332449260000},"page":"89-103","source":"Crossref","is-referenced-by-count":3,"title":["Well-Pointed Coalgebras (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Ji\u0159\u00ed","family":"Ad\u00e1mek","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Milius","sequence":"additional","affiliation":[]},{"given":"Lawrence S.","family":"Moss","sequence":"additional","affiliation":[]},{"given":"Lurdes","family":"Sousa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"CSLL Lect. Notes","volume-title":"Non-well-founded Sets","author":"P. Aczel","year":"1988","unstructured":"Aczel, P.: Non-well-founded Sets. CSLL Lect. Notes, vol.\u00a014. Stanford CSLI Publications, Stanford (1988)"},{"key":"6_CR2","first-page":"589","volume":"15","author":"J. Ad\u00e1mek","year":"1974","unstructured":"Ad\u00e1mek, J.: Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carolin\u00e6\u00a015, 589\u2013602 (1974)","journal-title":"Comment. Math. Univ. Carolin\u00e6"},{"key":"6_CR3","volume-title":"Abstract and Concrete Categories","author":"J. Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. John Wiley and Sons, New York (1990)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1017\/S0960129506005706","volume":"16","author":"J. Ad\u00e1mek","year":"2006","unstructured":"Ad\u00e1mek, J., Milius, S., Velebil, J.: Iterative algebras at work. Math. Structures Comput. Sci.\u00a016, 1085\u20131131 (2006)","journal-title":"Math. Structures Comput. Sci."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally Presentable and Accessible Categories. Cambridge University Press (1994)","DOI":"10.1017\/CBO9780511600579"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/j.ic.2005.08.005","volume":"204","author":"V. Capretta","year":"2006","unstructured":"Capretta, V., Uustalu, T., Vene, V.: Recursive coalgebras from comonads. Inform. and Comput.\u00a0204, 437\u2013468 (2006)","journal-title":"Inform. and Comput."},{"key":"6_CR7","series-title":"Lecture Notes in Math.","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0059396","volume-title":"Lokal pr\u00e4sentierbare Kategorien","author":"P. Gabriel","year":"1971","unstructured":"Gabriel, P., Ulmer, F.: Lokal pr\u00e4sentierbare Kategorien. Lecture Notes in Math., vol.\u00a0221. Springer, Berlin (1971)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10485-007-9116-1","volume":"16","author":"H.-P. Gumm","year":"2008","unstructured":"Gumm, H.-P.: On minimal coalgebras. Appl. Categ. Structures\u00a016, 313\u2013332 (2008)","journal-title":"Appl. Categ. Structures"},{"key":"6_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4962-7","volume-title":"Algebraic Approaches to Program Semantics","author":"E.G. Manes","year":"1986","unstructured":"Manes, E.G., Arbib, M.A.: Algebraic Approaches to Program Semantics. Springer, New York (1986)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Milius, S.: A sound and complete calculus for finite stream circuits. In: Proc.\u00a025th Annual Symposium on Logic in Computer Science (LICS 2010), pp. 449\u2013458. IEEE Computer Society (2010)","DOI":"10.1109\/LICS.2010.11"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0304-3975(83)90014-2","volume":"25","author":"E. Nelson","year":"1983","unstructured":"Nelson, E.: Iterative algebras. Theoret. Comput. Sci.\u00a025, 67\u201394 (1983)","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0022-4049(74)90032-2","volume":"4","author":"G. Osius","year":"1974","unstructured":"Osius, G.: Categorical set theory: a characterization of the category of sets. J. Pure Appl. Algebra\u00a04, 79\u2013119 (1974)","journal-title":"J. Pure Appl. Algebra"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J.J.M.M. Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theoret. Comput. Sci.\u00a0249, 3\u201380 (2000)","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/3-540-56596-5_45","volume-title":"Semantics: Foundations and Applications","author":"J.J.M.M. Rutten","year":"1993","unstructured":"Rutten, J.J.M.M., Turi, D.: On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1992. LNCS, vol.\u00a0666, pp. 477\u2013530. Springer, Heidelberg (1993)"},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice theoretical fixed point theorem and its applications. Pacific J. Math.\u00a05, 285\u2013309 (1955)","journal-title":"Pacific J. Math."},{"key":"6_CR16","unstructured":"Taylor, P.: Towards a unified treatement of induction\u00a0I: the general recursion theorem, preprint (1995\u20136), \n                  \n                    http:\/\/www.paultaylor.eu\/ordinals\/#towuti"},{"key":"6_CR17","unstructured":"Taylor, P.: Practical Foundations of Mathematics. Cambridge University Press (1999)"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0304-3975(80)90056-0","volume":"12","author":"J. Tiurin","year":"1980","unstructured":"Tiurin, J.: Unique fixed points vs. least fixed points. Theoret. Comput. Sci.\u00a012, 229\u2013254 (1980)","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR19","first-page":"323","volume":"12","author":"V. Trnkov\u00e1","year":"1971","unstructured":"Trnkov\u00e1, V.: On a descriptive classification of set functor\u00a0I. Comment. Math. Univ. Carolin\u00e6\u00a012, 323\u2013352 (1971)","journal-title":"Comment. Math. Univ. Carolin\u00e6"},{"key":"6_CR20","first-page":"339","volume":"16","author":"V. Trnkov\u00e1","year":"1975","unstructured":"Trnkov\u00e1, V., Ad\u00e1mek, J., Koubek, V., Reiterman, J.: Free algebras, input processes and free monads. Comment. Math. Univ. Carolin\u00e6\u00a016, 339\u2013351 (1975)","journal-title":"Comment. Math. Univ. Carolin\u00e6"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/j.tcs.2004.12.009","volume":"338","author":"J. Worrell","year":"2005","unstructured":"Worrell, J.: On the final sequence of a finitary set functor. Theoret. Comput. Sci.\u00a0338, 184\u2013199 (2005)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28729-9_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:07:31Z","timestamp":1620126451000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28729-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642287282","9783642287299"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28729-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}