{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:07Z","timestamp":1725664927416},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606093"},{"type":"electronic","value":"9783540484639"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60609-2_25","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:46:49Z","timestamp":1330289209000},"page":"405-412","source":"Crossref","is-referenced-by-count":8,"title":["Fundamentals of context-sensitive rewriting"],"prefix":"10.1007","author":[{"given":"Salvador","family":"Lucas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"N. Dershowitz. A Taste of Rewrite Systems. In P.E. Lauer, editor, Proc of Functional Programming, Concurrency, Simulation and Automated Reasoning, volume 693 of Lecture Notes in Computer Science, pages 199\u2013228, Berlin, 1993.","DOI":"10.1007\/3-540-56883-2_11"},{"key":"25_CR2","first-page":"243","volume-title":"Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 243\u2013320. Elsevier, Amsterdam and The MIT Press, Cambridge, MA, 1990."},{"key":"25_CR3","volume-title":"volume 6 of EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification. volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1985."},{"key":"25_CR4","unstructured":"J.R. Hindley and J.P. Seldin. Introduction to Combinators and \u03bb-Calculus. Cambridge University Press, 1986."},{"key":"25_CR5","unstructured":"R. Lalement. Computation as Logic. Masson-Prentice Hall International, 1993."},{"key":"25_CR6","unstructured":"S. Lucas. Computational properties in context-sensitive rewriting. In Proc. of 1995 Joint Conference on Declarative Programming, GULP-PRODE'95. To appear."},{"key":"25_CR7","unstructured":"S. Lucas and J. Oliver. Context-sensitive rewriting. Technical report DSIC-II\/23\/94."},{"key":"25_CR8","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional Rewriting Logic as an Unified Model of Concurrency. Journal of Theoretical Computer Science, 96:73\u2013155, 1992.","journal-title":"Journal of Theoretical Computer Science"},{"key":"25_CR9","volume-title":"Logic and Algebra of Specifications","author":"R. Milner","year":"1993","unstructured":"R. Milner. The polyadic \u03c0-calculus: A tutorial. In F.L. Brauer, W. Bauer and H. Schwintenberg, editors, Logic and Algebra of Specifications, Springer-Verlag, Berlin, 1993."},{"key":"25_CR10","unstructured":"S. L. Peyton-Jones. The Implementation of Functional Programming Languages. Prentice-Hall, 1987."},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"D. Plaisted. Equational Reasoning and Term Rewriting Systems. In D. Gabbay and J. Siekmann, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, volume 1, 1994.","DOI":"10.1093\/oso\/9780198537458.003.0005"}],"container-title":["Lecture Notes in Computer Science","SOFSEM '95: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60609-2_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:02:37Z","timestamp":1713632557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60609-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606093","9783540484639"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60609-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}