{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:40:16Z","timestamp":1725518416108},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540710691"},{"type":"electronic","value":"9783540710707"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-71070-7_31","type":"book-chapter","created":{"date-parts":[[2008,8,29]],"date-time":"2008-08-29T09:56:30Z","timestamp":1220003790000},"page":"348-363","source":"Crossref","is-referenced-by-count":3,"title":["Modularity of Confluence"],"prefix":"10.1007","author":[{"given":"Vincent","family":"van Oostrom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"31_CR1","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/7531.7534","volume":"34","author":"Y. Toyama","year":"1987","unstructured":"Toyama, Y.: On the Church\u2013Rosser property for the direct sum of term rewriting systems. Journal of the Association for Computing Machinery\u00a034(1), 128\u2013143 (1987)","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"2","key":"31_CR2","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0020-0190(94)90034-5","volume":"49","author":"J. Klop","year":"1994","unstructured":"Klop, J., Middeldorp, A., Toyama, Y., de Vrijer, R.: Modularity of confluence: A simplified proof. Information Processing Letters\u00a049(2), 101\u2013109 (1994)","journal-title":"Information Processing Letters"},{"key":"31_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/11805618_8","volume-title":"Term Rewriting and Applications","author":"J. Jouannaud","year":"2006","unstructured":"Jouannaud, J.: Modular Church\u2013Rosser modulo. In: Pfenning, F. (ed.) RTA 2006. LNCS, vol.\u00a04098, pp. 96\u2013107. Springer, Heidelberg (2006)"},{"key":"31_CR4","unstructured":"Terese: Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science, vol.\u00a055. Cambridge University Press, Cambridge (2003)"},{"key":"31_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3661-8","volume-title":"Advanced Topics in Term Rewriting","author":"E. Ohlebusch","year":"2002","unstructured":"Ohlebusch, E.: Advanced Topics in Term Rewriting. Springer, Heidelberg (2002)"},{"issue":"2","key":"31_CR6","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0304-3975(92)00023-K","volume":"126","author":"V. Oostrom van","year":"1994","unstructured":"van Oostrom, V.: Confluence by decreasing diagrams. Theoretical Computer Science\u00a0126(2), 259\u2013280 (1994)","journal-title":"Theoretical Computer Science"},{"key":"#cr-split#-31_CR7.1","unstructured":"Bognar, M.: A point version of decreasing diagrams. In: Engelfriet, J., Spaan, T. (eds.) Proceedings Accolade 1996, pp. 1???14. Amsterdam (1997);"},{"key":"#cr-split#-31_CR7.2","unstructured":"Dutch Graduate School in Logic"},{"key":"31_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/3-540-61464-8_58","volume-title":"Rewriting Techniques and Applications","author":"C. L\u00fcth","year":"1996","unstructured":"L\u00fcth, C.: Compositional term rewriting: An algebraic proof of Toyama\u2019s theorem. In: Ganzinger, H. (ed.) RTA 1996. LNCS, vol.\u00a01103, pp. 261\u2013275. Springer, Heidelberg (1996)"},{"key":"31_CR9","unstructured":"L\u00fcth, C.: Categorical Term Rewriting: Monads and Modularity. PhD thesis, University of Edinburgh (1997)"},{"key":"31_CR10","unstructured":"Jouannaud, J.: Personal communication (2006)"},{"key":"31_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/978-3-540-70590-1_21","volume-title":"Proceedings of the 19th RTA","author":"V. Oostrom van","year":"2008","unstructured":"van Oostrom, V.: Confluence by decreasing diagrams, converted. In: Voronkov, A. (ed.) Proceedings of the 19th RTA. LNCS, vol.\u00a05117, pp. 306\u2013320. Springer, Heidelberg (2008)"},{"key":"31_CR12","first-page":"1134","volume":"3","author":"T. Aoto","year":"1997","unstructured":"Aoto, T., Toyama, Y.: Persistency of confluence. Journal of Universal Computer Science\u00a03, 1134\u20131147 (1997)","journal-title":"Journal of Universal Computer Science"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-51081-8_113","volume-title":"Rewriting Techniques and Applications","author":"A. Middeldorp","year":"1989","unstructured":"Middeldorp, A.: Modular aspects of properties of term rewriting systems related to normal forms. In: Dershowitz, N. (ed.) RTA 1989. LNCS, vol.\u00a0355, pp. 263\u2013277. Springer, Heidelberg (1989)"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/3-540-54317-1_99","volume-title":"Conditional and Typed Rewriting Systems","author":"A. Middeldorp","year":"1991","unstructured":"Middeldorp, A.: Confluence of the disjoint union of conditional term rewriting systems. In: Okada, M., Kaplan, S. (eds.) CTRS 1990. LNCS, vol.\u00a0516, pp. 295\u2013306. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71070-7_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T04:17:56Z","timestamp":1551586676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71070-7_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540710691","9783540710707"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71070-7_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}