{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:44Z","timestamp":1725663524577},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563938"},{"type":"electronic","value":"9783540475491"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56393-8_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:08:55Z","timestamp":1330254535000},"page":"82-96","source":"Crossref","is-referenced-by-count":0,"title":["Completeness of combinations of conditional constructor systems"],"prefix":"10.1007","author":[{"given":"Aart","family":"Middeldorp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/3-540-55251-0_5","volume":"581","author":"A. C. Caron","year":"1992","unstructured":"A.C. Caron, Decidability of Reachability and Disjoint Union of Term Rewriting Systems, Proc. CAAP'92, LNCS 581, pp. 86\u2013101, 1992.","journal-title":"Proc. CAAP'92, LNCS"},{"key":"6_CR2","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/3-540-19129-1_7","volume":"306","author":"E. Giovannetti","year":"1986","unstructured":"E. Giovannetti and C. Moiso, A Completeness Result for E-Unification Algorithms based on Conditional Narrowing, Proc. Workshop on Foundations of Logic and Functional Programming, Trento, LNCS 306, pp. 157\u2013167, 1986.","journal-title":"Proc. Workshop on Foundations of Logic and Functional Programming, Trento, LNCS"},{"key":"6_CR3","unstructured":"B. Gramlich, Generalized Sufficient Conditions for Modular Termination of Rewriting, Proc. ALP'92, LNCS, 1992, to appear. Full version: A Structural Analysis of Modular Termination of Term Rewriting Systems, SEKI Report SR-91\u201315, Universit\u00e4t Kaiserslautern, 1991."},{"key":"6_CR4","unstructured":"B. Gramlich, Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems, this volume."},{"key":"6_CR5","volume-title":"report CS-R9156","author":"J. W. Klop","year":"1991","unstructured":"J.W. Klop, A. Middeldorp, Y. Toyama and R.C. de Vrijer, A Simplified Proof of Toyama's Theorem, report CS-R9156, CWI, Amsterdam, 1991."},{"issue":"5","key":"6_CR6","first-page":"633","volume":"31","author":"M. Kurihara","year":"1990","unstructured":"M. Kurihara and A. Ohuchi, Modularity of Simple Termination of Term Rewriting Systems, Journal of IPS Japan 31(5), pp. 633\u2013642, 1990.","journal-title":"Journal of IPS Japan"},{"key":"6_CR7","volume-title":"Report SF-36","author":"M. Kurihara","year":"1990","unstructured":"M. Kurihara and A. Ohuchi, Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors, Report SF-36, Hokkaido University, Sapporo, 1990. To appear in Theoretical Computer Science, 1992."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"A. Middeldorp, A Sufficient Condition for the Termination of the Direct Sum of Term Rewriting Systems, Proc. LICS'89, Pacific Grove, pp. 396\u2013401, 1989.","DOI":"10.1109\/LICS.1989.39194"},{"key":"6_CR9","volume-title":"Ph.D. thesis","author":"A. Middeldorp","year":"1990","unstructured":"A. Middeldorp, Modular Properties of Term Rewriting Systems, Ph.D. thesis, Vrije Universiteit, Amsterdam, 1990."},{"key":"6_CR10","volume-title":"report CS-R9105","author":"A. Middeldorp","year":"1991","unstructured":"A. Middeldorp, Modular Properties of Conditional Term Rewriting Systems, report CS-R9105, CWI, Amsterdam, 1991. To appear in Information and Computation."},{"key":"6_CR11","volume-title":"report CS-R9154","author":"A. Middeldorp","year":"1991","unstructured":"A. Middeldorp and E. Hamoen, Counterexamples to Completeness Results for Basic Narrowing, report CS-R9154, CWI, Amsterdam, 1991. Extended abstract to appear in Proc. ALP'92, LNCS."},{"key":"6_CR12","first-page":"188","volume":"488","author":"A. Middeldorp","year":"1991","unstructured":"A. Middeldorp and Y. Toyama, Completeness of Combinations of Constructor Systems, Proc. RTA'91, Como, LNCS 488, pp. 188\u2013199, 1991.","journal-title":"Proc. RTA'91, Como, LNCS"},{"key":"6_CR13","unstructured":"E. Ohlebusch, Combinations of Simplifying Conditional Term Rewriting Systems, this volume."},{"key":"6_CR14","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 Termination of the Direct Sum of Term Rewriting Systems, Information Processing Letters 26, pp. 65\u201370, 1987.","journal-title":"Information Processing Letters"},{"issue":"1","key":"6_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), pp. 128\u2013143, 1987.","journal-title":"Journal of the ACM"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0020-0190(87)90122-0","volume":"25","author":"Y. Toyama","year":"1987","unstructured":"Y. Toyama, Counterexamples to Termination for the Direct Sum of Term Rewriting Systems, Information Processing Letters 25, pp. 141\u2013143, 1987.","journal-title":"Information Processing Letters"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Y. Toyama, J.W. Klop and H.P. Barendregt, Termination for the Direct Sum of Left-Linear Term Rewriting Systems, Proc. RTA'89, Chapel Hill, LNCS 355, pp. 477\u2013491, 1989.","DOI":"10.1007\/3-540-51081-8_127"}],"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_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:50:28Z","timestamp":1619571028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}