{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T20:19:51Z","timestamp":1648671591219},"reference-count":23,"publisher":"Cambridge University Press (CUP)","issue":"1-2","license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2007,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed with different objectives. Here we study the relationships between them, both at a syntactic and at a semantic level. Even though it is not possible to establish an entailment system map between them, both can be naturally simulated in each other. Semantically, there is no embedding between the corresponding institutions. Along the way, the notions of entailment and satisfaction in Meseguer's rewriting logic are generalized.<\/jats:p>","DOI":"10.1017\/s1471068406002845","type":"journal-article","created":{"date-parts":[[2007,2,9]],"date-time":"2007-02-09T12:38:10Z","timestamp":1171024690000},"page":"183-213","source":"Crossref","is-referenced-by-count":1,"title":["A comparison between two logical formalisms for rewriting"],"prefix":"10.1017","volume":"7","author":[{"given":"MIGUEL","family":"PALOMINO","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2007,1,1]]},"reference":[{"key":"S1471068406002845_N102CD","unstructured":"Meseguer J. 1990. Rewriting as a unified model of concurrency. Tech. Rep. SRI-CSL-90-02, SRI International, Computer Science Laboratory. Feb. Revised June 1990."},{"key":"S1471068406002845_N10236","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"Mart\u00ed-Oliet","year":"2002"},{"key":"S1471068406002845_N101C3","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10029-8"},{"key":"S1471068406002845_N10151","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00361-9"},{"key":"S1471068406002845_N100FD","volume-title":"Category Theory for Computing Science","author":"Barr","year":"1999"},{"key":"S1471068406002845_N101F2","article-title":"Polymorphic types in functional logic programming","volume":"2001","author":"Gonz\u00e1lez-Moreno","year":"2001","journal-title":"Journal of Functional and Logic Programming"},{"key":"S1471068406002845_N1019D","doi-asserted-by":"publisher","DOI":"10.1007\/s001650200013"},{"key":"S1471068406002845_N10177","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147524"},{"key":"S1471068406002845_N10219","doi-asserted-by":"publisher","DOI":"10.4153\/CMB-1970-065-6"},{"key":"S1471068406002845_N1039A","volume-title":"Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA'02","author":"Thati","year":"2002"},{"key":"S1471068406002845_N1011A","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90095-3"},{"key":"S1471068406002845_N103D0","unstructured":"Verdejo A. 2003. T\u00e9cnicas de especificaci\u00f3n formal de sistemas orientados a objetos basadas en l\u00f3gica de reescritura. Ph.D. thesis, Universidad Complutense de Madrid, Spain."},{"key":"S1471068406002845_N1028B","first-page":"275","volume-title":"Logic Colloquium'87","author":"Meseguer","year":"1989"},{"key":"S1471068406002845_N102FB","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-64299-4_26"},{"key":"S1471068406002845_N1034D","first-page":"20","volume-title":"Proceedings First International Workshop on Rewriting Logic and its Applications, WRLA'96","author":"Miyoshi","year":"1996"},{"key":"S1471068406002845_N10265","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00357-7"},{"key":"S1471068406002845_N100D7","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":"S1471068406002845_N10143","unstructured":"Cengarle M. V. 1998. The rewriting logic institution. Tech. Rep. 9801, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik. May."},{"key":"S1471068406002845_N102DB","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"S1471068406002845_N10324","first-page":"1","volume-title":"Rewriting Techniques and Applications, 11th International Conference, RTA 2000","author":"Meseguer","year":"2000"},{"key":"S1471068406002845_N1037A","unstructured":"Molina-Bravo J. M. 2000. Modularidad en programaci\u00f3n l\u00f3gico-funcional de primer orden. Ph.D. thesis, Universidad de M\u00e1laga, Spain."},{"key":"S1471068406002845_N10388","unstructured":"Palomino M. 2001. Relating Meseguer's rewriting logic and the constructor-based rewriting logic. M.S. thesis, Facultad de Matem\u00e1ticas, Universidad Complutense de Madrid. http:\/\/maude.cs.uiuc.edu\/papers."},{"key":"S1471068406002845_N103DE","volume-title":"Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA'02","author":"Verdejo","year":"2002"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068406002845","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,4]],"date-time":"2019-04-04T20:48:52Z","timestamp":1554410932000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068406002845\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":23,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2007,1]]}},"alternative-id":["S1471068406002845"],"URL":"https:\/\/doi.org\/10.1017\/s1471068406002845","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}