{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T09:41:12Z","timestamp":1648546872587},"reference-count":12,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2005,3,1]],"date-time":"2005-03-01T00:00:00Z","timestamp":1109635200000},"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":3072,"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":[[2005,3]]},"DOI":"10.1016\/j.entcs.2005.01.001","type":"journal-article","created":{"date-parts":[[2005,3,11]],"date-time":"2005-03-11T12:26:46Z","timestamp":1110544006000},"page":"149-164","source":"Crossref","is-referenced-by-count":0,"title":["Logical Semantics for the Rewriting Calculus"],"prefix":"10.1016","volume":"125","author":[{"given":"Aaron","family":"Stump","sequence":"first","affiliation":[]},{"given":"Carsten","family":"Sch\u00fcrmann","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2005.01.001_bib001","series-title":"Term Rewriting and All That","author":"Baader","year":"1998"},{"key":"10.1016\/j.entcs.2005.01.001_bib002","series-title":"Principles of Programming Languages","article-title":"Pure patterns type systems","author":"Barthe","year":"2003"},{"key":"10.1016\/j.entcs.2005.01.001_bib003","first-page":"363","article-title":"The Rewriting Calculus - Part I","volume":"9","author":"Cirstea","year":"2001","journal-title":"Logic Journal of the Interest Group in Pure and Applied Logics"},{"key":"10.1016\/j.entcs.2005.01.001_bib004","first-page":"401","article-title":"The Rewriting Calculus - Part II","volume":"9","author":"Cirstea","year":"2001","journal-title":"Logic Journal of the Interest Group in Pure and Applied Logics"},{"key":"10.1016\/j.entcs.2005.01.001_bib005","series-title":"Proceedings of the 12th International Conference on Rewriting Techniques and Applications","article-title":"Matching Power","author":"Cirstea","year":"2001"},{"key":"10.1016\/j.entcs.2005.01.001_bib006","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(05)82613-1","article-title":"Rewrite strategies in the rewriting calculus","author":"Cirstea","year":"2003","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/j.entcs.2005.01.001_bib007","series-title":"Cafe: An Industrial-Strength Algebraic Formal Method","article-title":"Building equational proving tools by reflection in rewriting logic","author":"Clavel","year":"2000"},{"issue":"1","key":"10.1016\/j.entcs.2005.01.001_bib008","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\/j.entcs.2005.01.001_bib009","doi-asserted-by":"crossref","unstructured":"A. Nanevski. Meta-programming with names and necessity. In Proceedings of the 7th ACM SIGPLAN International Conference on Functional Programming, pages 206\u2013217, 2002","DOI":"10.1145\/581478.581498"},{"key":"10.1016\/j.entcs.2005.01.001_bib010","doi-asserted-by":"crossref","unstructured":"F. Pfenning and C. Elliott. Higher-order abstract syntax. In ACM SIGPLAN Symposium on Language Design and Implementation, 1988","DOI":"10.1145\/53990.54010"},{"key":"10.1016\/j.entcs.2005.01.001_bib011","unstructured":"J. Polakow. Ordered Linear Logic and Applications. PhD thesis, Carnegie Mellon University, 2001"},{"key":"10.1016\/j.entcs.2005.01.001_bib012","series-title":"Lectures on Linear Logic","author":"Troelstra","year":"1992"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610500099X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610500099X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,28]],"date-time":"2019-01-28T07:22:17Z","timestamp":1548660137000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106610500099X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,3]]}},"alternative-id":["S157106610500099X"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2005.01.001","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2005,3]]}}}