{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:21Z","timestamp":1761611121733},"reference-count":20,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":5688,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1998]]},"DOI":"10.1016\/s1571-0661(04)00058-1","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"176-193","source":"Crossref","is-referenced-by-count":9,"special_numbering":"C","title":["A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra"],"prefix":"10.1016","volume":"11","author":[{"given":"Grigore","family":"Ro\u015fu","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB1","series-title":"Universal Algebra","first-page":"13","article-title":"A general axiomatizability theorem formulated in terms of cone-injective subcategories","author":"Andr\u00e9ka","year":"1981"},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB2","doi-asserted-by":"crossref","unstructured":"Garrett Birkhoff. On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society, 31:433\u2013454, 1935.","DOI":"10.1017\/S0305004100013463"},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB3","unstructured":"Rod Burstall and R\u0103zvan Diaconescu. Hiding and behavior: an institutional approach. In William A. Roscoe, editor, A Classical Mind: Essays in Honour of C.A.R. Hoare, pages 75\u201392. Prentice Hall, 1994. Also Technical Report ECS-LFCS-8892-253, Laboratory for Foundations of Computer Science, University of Edinburgh, 1992."},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB4","unstructured":"Corina C\u00eerstea. A semantical study of the object paradigm, 1996. Thesis submitted for transfer to DPhil status, University of Oxford."},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Corina C\u00eerstea. Coalgebra semantics for hidden algebra: parameterized objects and inheritance, 1997. Paper presented at the 12th Workshop on Algebraic Development Techniques.","DOI":"10.1007\/3-540-64299-4_33"},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Andrea Corradini. A complete calculus for equational deduction in coalgebraic specification. Technical Report CS-R????, CWI, 1997.","DOI":"10.1007\/3-540-64299-4_34"},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB7","unstructured":"Virgil Emil C\u0103z\u0103nescu and Grigore Ro\u015fu. Weak inclusion systems; part 2. In preparation; see www-cse.ucsd.edu\/users\/grosu\/"},{"issue":"2","key":"10.1016\/S1571-0661(04)00058-1_NEWBIB8","article-title":"Weak inclusion systems","volume":"7","author":"Emil C\u0103z\u0103nescu","year":"1997","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB9","unstructured":"R\u0103zvan Diaconescu, Joseph Goguen, and Petros Stefaneas. Logical support for modularization. In Gerard Huet and Gordon Plotkin, editors, Logical Environments, pages 83\u2013130. Cambridge, 1993. Proceedings of a Workshop held in Edinburgh, Scotland, May 1991."},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB10","doi-asserted-by":"crossref","unstructured":"Joseph Goguen and R\u0103zvan Diaconescu. Towards an algebraic semantics for the object paradigm. In Hartmut Ehrig and Fernando Orejas, editors, Proceedings, Tenth Workshop on Abstract Data Types, pages 1\u201329. Springer, 1994. Lecture Notes in Computer Science, Volume 785.","DOI":"10.1007\/3-540-57867-6_1"},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB11","unstructured":"Joseph Goguen and Grant Malcolm. Extended abstract of a hidden agenda. In James, Alex Meystel, and Richard Quintero, editors, Proceedings, Conference on Intelligent Systems: A Semiotic Perspective, pages 159\u2013167. National Inst. Standards and Technology, 1996. Gaithersberg MD, October 20\u201323."},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB12","unstructured":"Joseph Goguen and Grant Malcolm. A hidden agenda. Technical Report CS97-538, UCSD, Dept. Computer Science & Eng., May 1997."},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB13","series-title":"Category Theory","author":"Herrlich","year":"1973"},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB14","unstructured":"Hendrik Hilberdink. Inclusion systems, 1996. Unpublished paper."},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB15","series-title":"Algebraic Methodology and Software Technology (AMAST95)","first-page":"245","article-title":"Mongruences and cofree coalgebras","author":"Jacobs","year":"1995"},{"issue":"3","key":"10.1016\/S1571-0661(04)00058-1_NEWBIB16","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF01847919","article-title":"On notions of factorization systems and their applications to cone-injective subcategories","volume":"13","author":"N\u00e9meti","year":"1982","journal-title":"Periodica Mathematica, Hungarica"},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB17","series-title":"Universal Algebra","first-page":"535","article-title":"Cone-implicational subcategories and some Birkhoff-type theorems","author":"N\u00e9meti","year":"1981"},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB18","unstructured":"Grigore Ro\u015fu. Axiomatizability in inclusive equational logic, 1996. Submitted to publication; see http:\/\/www-cse.ucsd.edu\/users\/grosu\/."},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB19","unstructured":"J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Technical Report CS-R9652, CWI, 1996."},{"key":"10.1016\/S1571-0661(04)00058-1_NEWBIB20","unstructured":"James Worrell. A topos of hidden algebras. Technical Report PRG-TR-28-97, Programming Research Group, University of Oxford, 1997."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000581?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000581?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:31:05Z","timestamp":1585485065000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104000581"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":20,"alternative-id":["S1571066104000581"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00058-1","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}