{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:34Z","timestamp":1725664774047},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614647"},{"type":"electronic","value":"9783540685968"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61464-8_58","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:40:04Z","timestamp":1330292404000},"page":"261-275","source":"Crossref","is-referenced-by-count":5,"title":["Compositional term rewriting: An algebraic proof of Toyama's theorem"],"prefix":"10.1007","author":[{"given":"Christoph","family":"L\u00fcth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Francis Borceux. Handbook of Categorical Algebra 2: Categories and Structures. Number 51 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511525872"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"M. Barr and C. Wells. Toposes, Triples and Theories. Number 278 in Grundlehren der mathematischen Wissenschaften. Springer Verlag, 1985.","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"21_CR3","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985."},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39:95\u2013146, 1992.","journal-title":"Journal of the ACM"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"John W. Gray. Formal Category Theory: Adjointness for 2-Categories. Number 391 in Lecture Notes in Mathematics. Springer Verlag, 1974.","DOI":"10.1007\/BFb0061280"},{"key":"21_CR6","unstructured":"G. M. Kelly. Basic Concepts of Enriched Category Theory, volume 64 of LMS Lecture Note Series. Cambridge University Press, 1982."},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0020-0190(94)90034-5","volume":"49","author":"J. W. Klop","year":"1994","unstructured":"J. W. Klop, A. Middeldorp, Y. Toyama, and R. de Vrijer. A simplified proof of Toyama's theorem. Information Processing Letters, 49:101\u2013109, 1994.","journal-title":"Information Processing Letters"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"G. M. Kelly and Ross Street. Review of the elements of 2-categories. In Category Seminar Sydney 1972\/73, number 420 in Lecture Notes in Mathematics, pages 75\u2013103. Springer Verlag, 1974.","DOI":"10.1007\/BFb0063101"},{"key":"21_CR9","unstructured":"Christoph L\u00fcth. Compositional Categorical Term Rewriting in Structured Algebraic Specifications. PhD thesis, University of Edinburgh, 1996. Forthcoming."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"S. Mac Lane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Ernest G. Manes. Algebraic Theories, volume 26 of Graduate Texts in Mathematics. Springer Verlag, 1976.","DOI":"10.1007\/978-1-4612-9860-1"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Enno Ohlenbusch. On the modularity of confluence of constructor-sharing term rewriting systems. In Sophie Tison, editor, Trees in Algebra and Programming \u2014 CAAP 94, LNCS 787. Springer Verlag, April 1994.","DOI":"10.1007\/BFb0017487"},{"issue":"2\/3","key":"21_CR13","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"D. Sannella and A. Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76(2\/3):165\u2013210, Feb\/Mar 1988.","journal-title":"Information and Computation"},{"key":"21_CR14","unstructured":"John G. Stell. Modelling term rewriting systems by Sesqui-categories. Technical Report TR94-02, Keele Unversity, January 1994."},{"issue":"1","key":"21_CR15","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/7531.7534","volume":"34","author":"Y. Toyama","year":"1987","unstructured":"Y. Toyama. On the Church-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","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61464-8_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:30Z","timestamp":1605647190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61464-8_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614647","9783540685968"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61464-8_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}