{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:05:48Z","timestamp":1725566748872},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540282310"},{"type":"electronic","value":"9783540318972"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11538363_7","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T09:35:33Z","timestamp":1127813733000},"page":"70-86","source":"Crossref","is-referenced-by-count":4,"title":["A Logic of Coequations"],"prefix":"10.1007","author":[{"given":"Jiri","family":"Ad\u00e1mek","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","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. Commentationes Mathematicae Universitatis Carolinae\u00a015, 589\u2013602 (1974)","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"#cr-split#-7_CR2.1","doi-asserted-by":"crossref","unstructured":"Ad??mek, J.: On a description of terminal coalgebras and iterative theories. Electronic Notes in Theoretical Computer Science, vol.??82.1 (2003);","DOI":"10.1016\/S1571-0661(04)80629-7"},{"key":"#cr-split#-7_CR2.2","unstructured":"Full version in Information and Computation (to appear)"},{"key":"7_CR3","first-page":"197","volume":"46","author":"J. Ad\u00e1mek","year":"2005","unstructured":"Ad\u00e1mek, J.: Birkhoff\u2019s covariety theorem without limitation. Commentationes Mathematicae Universitatis Carolinae\u00a046, 197\u2013215 (2005)","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2003.12.022","volume":"316","author":"J. Ad\u00e1mek","year":"2004","unstructured":"Ad\u00e1mek, J., Milius, S., Velebil, J.: On coalgebra based on classes. Theoretical Computer Science\u00a0316, 3\u201323 (2004)","journal-title":"Theoretical Computer Science"},{"key":"7_CR5","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. Theoretical Computer Science\u00a0311, 257\u2013283 (2004)","journal-title":"Theoretical Computer Science"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1016\/S0019-9958(82)80026-0","volume":"52","author":"M.A. Arbib","year":"1982","unstructured":"Arbib, M.A., Manes, E.G.: Parametrized data types do not need highly constrained parameters. Information and Control\u00a052, 130\u2013158 (1982)","journal-title":"Information and Control"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1017\/S0960129502003894","volume":"13","author":"S. Awodey","year":"2003","unstructured":"Awodey, S., Hughes, J.: Modal operators and the formal dual of Birkoff\u2019s completeness theorem. Mathematical Structures in Computer Science\u00a013, 233\u2013258 (2003)","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR8","first-page":"182","volume":"124","author":"M. Barr","year":"1984","unstructured":"Barr, M.: Terminal coalgebras in well-founded set theory. Theoretical Computer Science\u00a0124, 182\u2013192 (1984)","journal-title":"Theoretical Computer Science"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"G. Birkhoff","year":"1935","unstructured":"Birkhoff, G.: On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society\u00a031, 433\u2013454 (1935)","journal-title":"Proceedings of the Cambridge Philosophical Society"},{"key":"7_CR10","unstructured":"Gumm, H.P.: Elements of the general theory of coalgebras (preprint 1999)"},{"key":"7_CR11","first-page":"159","volume":"13","author":"H.P. Gumm","year":"2000","unstructured":"Gumm, H.P.: Birkoff\u2019s variety theorem for coalgebras. Contributions to General Algebra\u00a013, 159\u2013173 (2000)","journal-title":"Contributions to General Algebra"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Gumm, H.P., Schr\u00f6der, T.: Covarieties and complete covarieties. Electronic Notes in Theoretical Computer Science\u00a011 (1998)","DOI":"10.1016\/S1571-0661(04)00052-0"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1017\/S096012950200378X","volume":"12","author":"B. Jacobs","year":"2002","unstructured":"Jacobs, B.: The temporal logic of coalgebras via Galois algebras. Mathematical Structures in Computer Science\u00a012, 875\u2013903 (2002)","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J. Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. Theoretical Computer Science\u00a0249, 3\u201380 (2000)","journal-title":"Theoretical Computer Science"},{"key":"7_CR15","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. Theoretical Computer Science\u00a0338, 184\u2013199 (2005)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11538363_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:13:42Z","timestamp":1605626022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11538363_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540282310","9783540318972"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11538363_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}