{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:27:16Z","timestamp":1761596836124},"reference-count":16,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":6419,"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":[[1996]]},"DOI":"10.1016\/s1571-0661(04)00031-3","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"20-34","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["Modelling Conditional Rewriting Logic in Structured Categories"],"prefix":"10.1016","volume":"4","author":[{"given":"Hiroyuki","family":"Miyoshi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB1","series-title":"Handbook of Categorical Algebra 2","author":"Borceux","year":"1994"},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB2","series-title":"Algebraic Methodology and Software Technology","first-page":"368","article-title":"CPO Models for Infinite Term Rewriting","author":"Corradini","year":"1995"},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Corradini, A., Gadducci, F. and Montanari, U.: Relating Two Categorical Models of Term Rewriting, Rewriting Techniques and Application (Hsiang, J. (ed)), LNCS 914, 1995.","DOI":"10.1007\/3-540-59200-8_59"},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB4","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0022-4049(80)90082-1","article-title":"Algebraic Categories with Few monoidal Biclosed Structures or None","volume":"Vol. 17","author":"Foltz","year":"1980","journal-title":"Journal of Pure and Applied Algebra"},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB5","unstructured":"Gordon R. and Power, A. J.: Gabriel-Ulmer Duality for Categories Enriched in Bicategories, manuscript, submitted."},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB6","article-title":"Formal Category Theory: Adjointness for 2-categories","volume":"Vol. 391","author":"Gray","year":"1974"},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB7","article-title":"Basic Concepts of Enriched Category Theory","volume":"Vol. 64","author":"Kelly","year":"1982"},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB8","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S0004972700002781","article-title":"Elementary Observations on 2-Categorical Limits","volume":"Vol. 39","author":"Kelly","year":"1989","journal-title":"Bull. Austral. Math. Soc"},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB9","first-page":"75","article-title":"Review of the Elements of 2-categories","volume":"Vol. 420","author":"Kelly","year":"1974"},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB10","unstructured":"Kinoshita Y. and Power J.: Lax Naturality through Enrichment, to appear in Journal of Pure and Applied Algebra."},{"issue":"No. 3","key":"10.1016\/S1571-0661(04)00031-3_NEWBIB11","doi-asserted-by":"crossref","first-page":"337","DOI":"10.4153\/CMB-1970-065-6","article-title":"Subequalizers","volume":"Vol. 13","author":"Lambek","year":"1970","journal-title":"Canadian Mathematical Bulletin"},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB12","doi-asserted-by":"crossref","unstructured":"Meseguer J.: Rewriting as a Unified Model of Concurrency, Technical Report, SRI-CSL-90-02R, SRI International, Computer Science Laboratory, 1990. Revised version.","DOI":"10.1007\/BFb0039072"},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB13","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","article-title":"Conditional Rewriting Logic as a Unified Model of Concurrency","volume":"Vol. 96","author":"Meseguer","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB14","unstructured":"Miyoshi H.: Enriched Categorical Rewriting Models, thesis in preparation."},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB15","doi-asserted-by":"crossref","unstructured":"Pratt V.: Modelling Concurrency with Geometry, Proc. of the 18th ACM Symposium on Principles of Programming Language, ACM Press, 1991, pp. 311\u2013322.","DOI":"10.1145\/99583.99625"},{"key":"10.1016\/S1571-0661(04)00031-3_NEWBIB16","unstructured":"Stell, J. G.: Modelling Term Rewriting Systems by Sesqui-Categories, Proc. Cat\u00e9gories, Alg\u00e8bres, Esquisses et N\u00e9o-Esquisses, 27\u201330 Sept. 1994."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000313?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000313?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T09:53:45Z","timestamp":1550224425000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104000313"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"references-count":16,"alternative-id":["S1571066104000313"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00031-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1996]]}}}