乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T09:31:34Z","timestamp":1711531894533},"reference-count":25,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3954,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"funder":[{"DOI":"10.13039\/501100001823","name":"Ministerstvo \u0160kolstv\u00ed, Ml\u00e1de\u017ee a T\u011blov\u00fdchovy","doi-asserted-by":"publisher","award":["MSM 143100009"],"id":[{"id":"10.13039\/501100001823","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001824","name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","doi-asserted-by":"publisher","award":["201\/01\/0148"],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1016\/s1571-0661(04)80364-5","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T19:29:25Z","timestamp":1096399765000},"page":"156-175","source":"Crossref","is-referenced-by-count":4,"title":["Modal Predicates and Coequations"],"prefix":"10.1016","volume":"65","author":[{"given":"Alexander","family":"Kurz","sequence":"first","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Rosick\u00fd","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB1","doi-asserted-by":"crossref","unstructured":"P. Aczel and N. Mendler. A final coalgebra theorem. In D. H. Pitt et al, editor, Category Theory and Computer Science, volume 389 of LNCS, pages 357\u2013365. Springer, 1989.","DOI":"10.1007\/BFb0018361"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB2","doi-asserted-by":"crossref","unstructured":"J. Ad\u00e1mek and H. Porst. From varieties of algebras to covarieties of coalgebras. In A. Corradini, M. Lenisa, and U. Montanari, editors, Coalgebraic Methods in Computer Science (CMCS'01), volume 44.1 of ENTCS. Elsevier, 2001.","DOI":"10.1016\/S1571-0661(04)80901-0"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB3","unstructured":"J. Ad\u00e1mek and J. Rosick\u00fd. Locally Presentable and Accessible Categories, volume 189 of London Mathematical Society Lecture Notes Series. Cambridge University Press, 1994"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB4","series-title":"Automata and Algebras in Categories","author":"Ad\u00e1mek","year":"1990"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB5","unstructured":"A. Baltag, L. Moss, and S. Solecki. The logic of public announcements, common knowledge, and private suspicions. Technical Report SEN-R9922, CWI, Amsterdam, November 1999."},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB6","series-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB7","doi-asserted-by":"crossref","unstructured":"Robert Davis. Quasi-cotripleable categories. Proceedings of the American Mathematical Society, 35:43\u201338, 1972.","DOI":"10.1090\/S0002-9939-1972-0316531-1"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB8","article-title":"Equational and implicational classes of colgebras","volume":"260","author":"Peter Gumm","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB9","first-page":"135","article-title":"Functors for coalgebras","volume":"45","author":"Peter Gumm","year":"2001","journal-title":"Algebra Universalis"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB10","unstructured":"Jesse Hughes. A Study of Categories of Algebras and Coalgebras. PhD thesis, Carnegie Mellon University, Pittsburgh, 2001. Available at http:\/\/www.cs.kun.nl\/~jesseh\/."},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB11","article-title":"A tutorial on (co)algebras and (co)induction","volume":"62","author":"Jacobs","year":"1997","journal-title":"EATCS Bulletin"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB12","unstructured":"Alexander Kurz. Logics for Coalgebras and Applications to Computer Science. PhD thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 2000. http:\/\/www.informatik.uni-muenchen.de\/~kurz."},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB13","unstructured":"Alexander Kurz. Coalgebras and Modal Logic. 2001. Course Notes for ESSLLI 2001. http:\/\/www.cwi.nl\/~kurz."},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB14","doi-asserted-by":"crossref","unstructured":"F.E.J. Linton. Some aspects of equational categories. In S. Eilenberg, D.K. Harrison, S. Mac Lane, and H. R\u00f6hrl, editors, Proceedings of the Conference on Categorical Algebra, La Jolla, 1965, pages 84\u201391. Springer, 1966.","DOI":"10.1007\/978-3-642-99902-4_3"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB15","doi-asserted-by":"crossref","unstructured":"F.E.J. Linton. An outline of functorial semantics. In B. Eckmann, editor, Seminar on triples and categorical homology theory, volume 80 of Lecture Notes in Mathematics, pages 7\u201352. Springer, 1969.","DOI":"10.1007\/BFb0083080"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB16","series-title":"Category Theory for the Working Mathematician","author":"Mac Lane","year":"1971"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB17","series-title":"Algebraic Theories","author":"Ernest Manes","year":"1976"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB18","doi-asserted-by":"crossref","unstructured":"Dirk Pattinson. Semantical principles in the modal logic of coalgebras. In Proceedings 18th International Symposium on Theoretical Aspects of Computer Science (STACS 2001), volume 2010 of LNCS, Berlin, 2001. Springer. Also available as technical report at http:\/\/www.informatik.uni-muenchen.de\/~pattinso\/.","DOI":"10.1007\/3-540-44693-1_45"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB19","unstructured":"Dirk Pattinson. Coalgebraic modal logic: Soundness, completeness and decidability. Technical report, LMU Mnchen, 2002. http:\/\/www.informatik.uni-muenchen.de\/~pattinso\/."},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02483902","article-title":"The Birkhoff theorem for finite algebras","volume":"14","author":"Reiterman","year":"1982","journal-title":"Algebra Universalis"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB21","doi-asserted-by":"crossref","first-page":"59","DOI":"10.4064\/fm-118-1-59-68","article-title":"Algebraic theories and varieties of functor algebras","volume":"118","author":"Reiterman","year":"1983","journal-title":"Fundamenta Mathematicae"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB22","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/S0304-3975(00)00129-8","article-title":"Equational axiomatizability for coalgebra","volume":"260","author":"Ro\u015fu","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB23","unstructured":"Ji\u0159\u00ed Rosick\u00fd. On algebraic categories. In Universal Algebra (Proc. Coll. Esztergom 1977), volume 29 of Colloq. Math. Soc. J. Bolyai, pages 662\u2013690, 1981"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB24","doi-asserted-by":"crossref","unstructured":"J.J.M.M. Rutten. Universal coalgebra: A theory of systems. Theoretical Computer Science, 249:3\u201380, 2000. First appeared as technical report CS R 9652, CWI, Amsterdam, 1996.","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"10.1016\/S1571-0661(04)80364-5_NEWBIB25","series-title":"Arrow Logic and Multi-Modal Logic","first-page":"3","article-title":"A crash course in arrow logic","author":"Venema","year":"1996"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803645?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803645?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:38:43Z","timestamp":1657856323000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104803645"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["S1571066104803645"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80364-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,10]]}}}