{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T15:13:42Z","timestamp":1648998822429},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,12,14]],"date-time":"2007-12-14T00:00:00Z","timestamp":1197590400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s10485-007-9116-1","type":"journal-article","created":{"date-parts":[[2007,12,13]],"date-time":"2007-12-13T10:06:31Z","timestamp":1197540391000},"page":"313-332","source":"Crossref","is-referenced-by-count":6,"title":["On Minimal Coalgebras"],"prefix":"10.1007","volume":"16","author":[{"given":"H. Peter","family":"Gumm","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,12,14]]},"reference":[{"key":"9116_CR1","doi-asserted-by":"crossref","unstructured":"Aczel, P., Mendler, N.: A final coalgebra theorem. In: Pitt, D.H. et\u00a0al. (eds.) Proceedings Category Theory and Computer Science, Lecture Notes in Computer Science, pp. 357\u2013365. Springer (1989)","DOI":"10.1007\/BFb0018361"},{"key":"9116_CR2","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. John Wiley & Sons (1990)"},{"key":"9116_CR3","unstructured":"Gumm, H.P.: Elements of the General Theory of Coalgebras. LUATCS 99, Rand Afrikaans University, Johannesburg, South Africa (1999)"},{"key":"9116_CR4","doi-asserted-by":"crossref","unstructured":"Gumm, H.P.: From T-coalgebras to filter structures and transition systems. In: Fiadeiro, D.H. et\u00a0al. (eds.) Algebra and Coalgebra in Computer Science, vol. 3629 of Lecture Notes in Computer Science, pp. 194\u2013212. Springer (2005)","DOI":"10.1007\/11548133_13"},{"key":"9116_CR5","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/PL00000334","volume":"46","author":"H.P. Gumm","year":"2001","unstructured":"Gumm, H.P., Schr\u00f6der, T.: Products of coalgebras. Algebra Universalis 46, 163\u2013185 (2001)","journal-title":"Algebra Universalis"},{"key":"9116_CR6","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1017\/S0960129501003590","volume":"12","author":"H.P. Gumm","year":"2002","unstructured":"Gumm, H.P., Schr\u00f6der, T.: Coalgebras of bounded type. Math. Structures Comput. Sci. 12, 565\u2013578 (2002)","journal-title":"Math. Structures Comput. Sci."},{"key":"9116_CR7","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s00012-005-1888-2","volume":"53","author":"H.P. Gumm","year":"2005","unstructured":"Gumm, H.P., Schr\u00f6der, T.: Types and coalgebraic structure. Algebra Universalis 53, 229\u2013252 (2005)","journal-title":"Algebra Universalis"},{"key":"9116_CR8","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. J. Assoc. Comput. Mach. 32, 137\u2013161 (1985)","journal-title":"J. Assoc. Comput. Mach."},{"key":"9116_CR9","unstructured":"Ihringer, Th., Gumm, H.P.: Allgemeine Algebra. Heldermann Verlag (2003)"},{"key":"9116_CR10","doi-asserted-by":"crossref","unstructured":"Kianpi, M., Jugnia, C.N.: A simplification functor for coalgebras. Int. J. Math. Math. Sci. (2006)","DOI":"10.1155\/IJMMS\/2006\/56786"},{"issue":"1","key":"9116_CR11","first-page":"175","volume":"12","author":"V. Koubek","year":"1971","unstructured":"Koubek, V.: Set functors. Commun. Math. Univ. Carolinae 12(1), 175\u2013195 (1971)","journal-title":"Commun. Math. Univ. Carolinae"},{"key":"9116_CR12","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1017\/S0960129598002515","volume":"8","author":"E.G. Manes","year":"1998","unstructured":"Manes, E.G.: Implementing collection classes with monads. Math. Structures Comput. Sci. 8, 231\u2013276 (1998)","journal-title":"Math. Structures Comput. Sci."},{"key":"9116_CR13","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1305\/ndjfl\/1094155277","volume":"45","author":"D. Pattinson","year":"2004","unstructured":"Pattinson, D.: Expressive logics for coalgebras via terminal sequence induction. Notre Dame J. Formal Log. 45, 19\u201333 (2004)","journal-title":"Notre Dame J. Formal Log."},{"key":"9116_CR14","doi-asserted-by":"crossref","unstructured":"Rutten, J.J.M.M.: Automata and coinduction (an exercise in coalgebra). In: Sangiorigi, D., de\u00a0Simone, R. (eds.) Proceedings of CONCUR \u201998, number 1466 in LNCS, pp. 194\u2013218 (1998)","DOI":"10.1007\/BFb0055624"},{"issue":"1","key":"9116_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J.JM.M. Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theor. Comp. Sci. 249(1), 3\u201380 (2000)","journal-title":"Theor. Comp. Sci."},{"key":"9116_CR16","doi-asserted-by":"crossref","unstructured":"Schr\u00f6der, L.: Expressivity of coalgebraic modal logic: the limits and beyond. In: Sassone, V., (ed.) Foundations of Software Science and Computation Structures (FOSSACS), Lecture Notes in Computer Science, pp. 440\u2013454. Springer (2005)","DOI":"10.1007\/978-3-540-31982-5_28"},{"issue":"4","key":"9116_CR17","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M.B. Smyth","year":"1982","unstructured":"Smyth, M.B., Plotkin, G.D.: The category-theoretic solution of recursive domain equations. SIAM J. Comput. 11(4), 761\u2013783 (1982)","journal-title":"SIAM J. Comput."},{"issue":"1","key":"9116_CR18","first-page":"323","volume":"12","author":"V. Trnkov\u00e1","year":"1971","unstructured":"Trnkov\u00e1, V.: On descriptive classification of set-functors I. Commun. Math. Univ. Carolinae 12(1), 323\u2013352 (1971)","journal-title":"Commun. Math. Univ. Carolinae"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-007-9116-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-007-9116-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-007-9116-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,29]],"date-time":"2020-04-29T11:19:09Z","timestamp":1588159149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-007-9116-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12,14]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["9116"],"URL":"https:\/\/doi.org\/10.1007\/s10485-007-9116-1","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,12,14]]}}}