{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:21:51Z","timestamp":1720624911700},"reference-count":18,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"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":3984,"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":[[2002,9]]},"DOI":"10.1016\/s1571-0661(04)80354-2","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T15:29:25Z","timestamp":1096385365000},"page":"255-276","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["Comparing Meseguer's Rewriting Logic with the Logic CRWL"],"prefix":"10.1016","volume":"64","author":[{"given":"Miguel","family":"Palomino Tarjuelo","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB1","first-page":"185","article-title":"A general framework for lazy functional logic programming with algebraic polymorphic types","volume":"1","author":"Arenas-S\u00e1nchez","year":"2001","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB2","unstructured":"Cengarle, M. V., The rewriting logic institution, Technical Report 9801, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik (1998)."},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Clavel M., \u201cReflection in General Logics and in Rewriting Logic, with Applications to the Maude Language,\u201d Ph.D. thesis, Universidad de Navarra, Spain (1998).","DOI":"10.1016\/S1571-0661(05)82553-8"},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB4","article-title":"\u201cReflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications,\u201d","author":"Clavel","year":"2000","journal-title":"CSLI Publications"},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB5","doi-asserted-by":"crossref","DOI":"10.1016\/S0304-3975(01)00359-0","article-title":"Maude: Specification and programming in rewriting logic","author":"Clavel","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB6","doi-asserted-by":"crossref","DOI":"10.1016\/S0304-3975(01)00360-7","article-title":"Reflection in conditional rewriting logic","author":"Clavel","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB7","doi-asserted-by":"crossref","DOI":"10.1016\/S0304-3975(01)00361-9","article-title":"Logical foundations of CafeOBJ","author":"Diaconescu","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB8","unstructured":"Dur\u00e1n, F., \u201cA Reflective Module Algebra with Applications to the Maude Language,\u201d Ph.D. thesis, Universidad de M\u00e1laga, Spain (1999), http:\/\/maude.csl.sri.com.papers."},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB9","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","article-title":"Institutions: Abstract model theory for specification and Programming","volume":"39","author":"Goguen","year":"1992","journal-title":"Journal of the Association for Computing Machinery"},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB10","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0743-1066(98)10029-8","article-title":"An approach to declarative programming based on a rewriting logic","volume":"40","author":"Gonz\u00e1lez-Moreno","year":"1999","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB11","doi-asserted-by":"crossref","first-page":"337","DOI":"10.4153\/CMB-1970-065-6","article-title":"Subequalizers","volume":"13","author":"Lambek","year":"1970","journal-title":"Canadian Mathematical Bulletin"},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB12","first-page":"275","article-title":"General logics","author":"Meseguer","year":"1989","journal-title":"Logic Colloquium'87"},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB13","doi-asserted-by":"crossref","unstructured":"Meseguer J., Rewriting as a unified model of concurrency, Technical Report SRI-CSL-90\u201302, SRI International, Computer Science Laboratory (1990), revised June 1990.","DOI":"10.1007\/BFb0039072"},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB14","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":"96","author":"Meseguer","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB15","first-page":"18","article-title":"Membership algebra as a logical framework for equational specification","volume":"1376","author":"Meseguer","year":"1998"},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB16","unstructured":"Miyoshi H., Modelling Conditional Rewriting Logic in Structured Categories, in: J. Meseguer, editor, Proceedings First International Workshop on Rewriting Logic and its Applications, WRLA'96, Asilomar, California, September 3\u20136, 1996, Electronic Notes in Theoretical Computer Science 4 (1996), pp. 20\u201334, http:\/\/www.elsevier.nl\/locate\/entcs\/volume4.html."},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB17","unstructured":"Molina-Bravo, J. M., \u201cModularidad en Programaci\u00f3 L\u00f3gico\u2013Funcional de Primer Orden,\u201d Ph.D. thesis, Universidad de M\u00e1laga, Spain (2000)."},{"key":"10.1016\/S1571-0661(04)80354-2_NEWBIB18","unstructured":"Palomino Tarjuelo M., \u201cRelating Meseguer's rewriting logic with the constructor-based rewriting logic,\u201d Master's thesis, Facultad de Matem\u00e1ticas, Universidad Complutense de Madrid (2001), http:\/\/maude.csl.sri.com\/papers."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803542?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803542?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T07:22:48Z","timestamp":1549178568000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104803542"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":18,"alternative-id":["S1571066104803542"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80354-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}