{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:30:33Z","timestamp":1778301033383,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540563938","type":"print"},{"value":"9783540475491","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56393-8_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:07:49Z","timestamp":1330254469000},"page":"21-35","source":"Crossref","is-referenced-by-count":6,"title":["Context rewriting"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Kahrs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"2_CR1","unstructured":"Hendrik P. Barendregt. The Lambda-Calculus, its Syntax and Semantics. North-Holland, 1984."},{"key":"2_CR2","unstructured":"Nachum Dershowitz and Jean-Pierre Jouannoud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 6, pages 244\u2013320. Elsevier Science Publishers, 1990."},{"issue":"4","key":"2_CR3","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1017\/S0022481200128439","volume":"34","author":"J. R. Hindley","year":"1969","unstructured":"J. R. Hindley. An Abstract Form of the Church-Rosser Theorem I. Journal of Symbolic Logic, 34(4):545\u2013560, December 1969.","journal-title":"Journal of Symbolic Logic"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"G\u00e9rard Huet. Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of the ACM, 27:797\u2013821, 1980.","journal-title":"Journal of the ACM"},{"key":"2_CR5","unstructured":"C. Barry Jay. Modelling reduction in confluent categories. Technical Report ECS-LFCS-91-187, University of Edinburgh, LFCS, December 1991."},{"key":"2_CR6","unstructured":"Stefan Kahrs. \u03bb-rewriting. PhD thesis, Universit\u00e4t Bremen, 1991. (in German)."},{"key":"2_CR7","unstructured":"G. M. Kelly. Basic Concepts of Enriched Category Theory, volume 64 of London Mathematical Society Lecture Notes Series. Cambridge University Press, 1982."},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0168-0072(89)90024-9","volume":"43","author":"J. R. Kennaway","year":"1989","unstructured":"J.R. Kennaway. Sequential evaluation strategies for parallel-or and related reduction systems. Annals of Pure and Applied Logic, 43:31\u201356, 1989.","journal-title":"Annals of Pure and Applied Logic"},{"key":"2_CR9","unstructured":"Jan Willem Klop. Combinatory Reduction Systems. PhD thesis, Centrum voor Wiskunde en Informatica, 1980."},{"key":"2_CR10","first-page":"143","volume":"32","author":"J. W. Klop","year":"1987","unstructured":"Jan Willem Klop. Term rewriting systems, a tutorial. EATCS bulletin, 32:143\u2013183, 1987.","journal-title":"EATCS bulletin"},{"key":"2_CR11","first-page":"253","volume":"475","author":"D. Miller","year":"1991","unstructured":"Dale Miller. A logic programming language with lambda-abstraction, function variables, and simple unification. In LNCS 475, pages 253\u2013281, 1991.","journal-title":"LNCS"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Tobias Nipkow. Higher order critical pairs. In Sixth Annual Symposium on Logic in Computer Science, Amsterdam, 1991.","DOI":"10.1109\/LICS.1991.151658"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Benjamin C. Pierce. Basic Category Theory for Computer Scientists. MIT Press, 1991.","DOI":"10.7551\/mitpress\/1524.001.0001"},{"key":"2_CR14","unstructured":"A. John Power. An abstract formulation for rewrite systems. In Category Theory and Computer Science, 1989. LNCS 389."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"D. E. Rydeheard and J. G. Stell. Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms. In Proceedings Category Theory and Computer Science, pages 114\u2013139. Springer, 1987. LNCS 283.","DOI":"10.1007\/3-540-18508-9_23"},{"key":"2_CR16","unstructured":"R. A. G. Seely. Modelling computations: A 2-categorical framework. In Proceedings of the Second Annual Symposium on Logic in Computer Science, pages 65\u201371, 1987."},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0747-7171(89)80023-9","volume":"8","author":"W. Snyder","year":"1989","unstructured":"W. Snyder and J. Gallier. Higher-order unification revisited: Complete sets of transformations. Journal of Symbolic Computation, 8:101\u2013140, 1989.","journal-title":"Journal of Symbolic Computation"},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/7531.7534","volume":"34","author":"Y. Toyama","year":"1987","unstructured":"Yoshihito Toyama. On the Chuch-Rosser property for the direct sum of term rewriting systems. Journal of the ACM, 34(1):128\u2013143, 1987.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56393-8_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:34Z","timestamp":1605647014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}