{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171426},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634553"},{"type":"electronic","value":"9783540695523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0026982","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T11:12:36Z","timestamp":1132398756000},"page":"69-86","source":"Crossref","is-referenced-by-count":17,"title":["Monads and modular term rewriting"],"prefix":"10.1007","author":[{"given":"Christoph","family":"L\u00fcth","sequence":"first","affiliation":[]},{"given":"Neil","family":"Ghani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"M. Barr and C. Wells. Toposes, Triples and Theories. Springer 1985.","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"5_CR2","unstructured":"N. Ghani. Adjoint Rewriting. PhD thesis, University of Edinburgh, 1995."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"B. Gramlich. Generalized sufficient conditions for modular termination of rewriting. In Proc. 3rd ICALP, LNCS 632, pages 53\u201368. Springer, 1992.","DOI":"10.1007\/BFb0013819"},{"key":"5_CR4","unstructured":"C. B. Jay. Modelling reductions in confluent categories. In Proc. Durham Symposium on Applications of Categories in Computer Science, 1990."},{"key":"5_CR5","unstructured":"G. M. Kelly. Basic Concepts of Enriched Category Theory, LMS Lecture Notes 64. Cambridge University Press, 1982."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"J. W. Klop. Term rewriting systems. In S. Abramsky et.al., eds., Handbook of Logic in Computer Science Vol. 2, pages 1\u2013116. OUP, 1992.","DOI":"10.1093\/oso\/9780198537618.003.0001"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0304-3975(92)90015-8","volume":"103","author":"M. Kurihara","year":"1992","unstructured":"M. Kurihara and A. Ohuchi. Modularity of simple termination of term rewriting systems with shared constructors. TCS 103:273\u2013282, 1992.","journal-title":"TCS"},{"key":"5_CR8","first-page":"163","volume":"89","author":"G. M. Kelly","year":"1993","unstructured":"G. M. Kelly and A. J. Power. Adjunctions whose counits are coequalizers, and presentations of finitary monads. JPAA 89:163\u2013179, 1993.","journal-title":"JPAA"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"C. L\u00fcth. Compositional term rewriting: An algebraic proof of Toyama's theorem. In RTA'96, LNCS 1103, pages 261\u2013275, Springer Verlag, 1996.","DOI":"10.1007\/3-540-61464-8_58"},{"key":"5_CR10","unstructured":"C. L\u00fcth. Categorical Term Rewriting: Monads and Modularity. PhD thesis, University of Edinburgh, 1997. Forthcoming."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"S. Mac Lane. Categories for the Working Mathematician. Springer 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"E. G. Manes. Algebraic Theories, Springer Verlag, 1976.","DOI":"10.1007\/978-1-4612-9860-1"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"A. Middeldorp. A sufficient condition for the termination of the direct sum of term rewriting systems. In Proc. 4th LICS, p. 396-401. June 1989.","DOI":"10.1109\/LICS.1989.39194"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(94)00039-L","volume":"136","author":"E. Ohlebusch","year":"1994","unstructured":"E. Ohlebusch. On the modularity of termination of term rewriting systems. TCS 136:333\u2013360, 1994.","journal-title":"TCS"},{"key":"5_CR15","unstructured":"E. Robinson. Variations on algebra: monadicity and generalisations of equational theories. Tech. Rep. 6\/94, Sussex Univ. Comp. Sci., 1994."},{"key":"5_CR16","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 CTCS '87, LNCS 283, pages 114\u2013139. Springer Verlag, 1987.","DOI":"10.1007\/3-540-18508-9_23"},{"issue":"2","key":"5_CR17","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0020-0190(87)90039-1","volume":"26","author":"M. Rusinowitch","year":"1987","unstructured":"M. Rusinowitch. On the termination of the direct sum of term-rewriting systems. Information Processing Letters, 26(2):65\u201370, 1987.","journal-title":"Information Processing Letters"},{"key":"5_CR18","unstructured":"R. A. G. Seely. Modelling computations: A 2-categorical framework. In Proc. 2nd LICS, pages 65\u201371, 1987."},{"key":"5_CR19","unstructured":"J. G. Stell. Modelling term rewriting systems by Sesqui-categories. Technical Report TR94-02, Keele Unversity, January 1994."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026982","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T23:23:16Z","timestamp":1706743396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026982"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634553","9783540695523"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0026982","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}