{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:19Z","timestamp":1725663499552},"publisher-location":"Berlin, Heidelberg","reference-count":10,"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_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:07:15Z","timestamp":1330254435000},"page":"148-154","source":"Crossref","is-referenced-by-count":2,"title":["Type removal in term rewriting"],"prefix":"10.1007","author":[{"given":"H.","family":"Zantema","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Dauchet, M. Simulation of Turing machines by a left-linear rewrite rule. In Proceedings of the 3rd Conference on Rewriting Techniques an Applications (1989), N. Dershowitz, Ed., vol. 355 of Lecture Notes in Computer Science, Springer, pp. 109\u2013120.","DOI":"10.1007\/3-540-51081-8_103"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"EhriG, H., and Mahr, B. Fundamentals of Algebraic Specification, vol. 1 of EATCS monographs on Theoretical Computer Science. Springer, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Hofbauer, D., and Lautemann, C. Termination proofs and the length of derivations (preliminary version). In Proceedings of the 3rd Conference on Rewriting Techniques an Applications (1989), N. Dershowitz, Ed., vol. 355 of Lecture Notes in Computer Science, Springer, pp. 167\u2013177.","DOI":"10.1007\/3-540-51081-8_107"},{"key":"11_CR4","unstructured":"Huet, G., and Lankford, D. S. On the uniform halting problem for term rewriting systems. Rapport Laboria 283, INRIA, 1978."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Klop, J. W. Term rewriting systems. In Handbook of Logic in Computer Science, D. G. S. Abramski and T. Maibaum, Eds., vol. 1. Oxford University Press, 1991.","DOI":"10.1007\/3-540-54317-1_79"},{"key":"11_CR6","unstructured":"Middeldohp, A. Modular Properties of Term Rewriting Systems. PhD thesis, Free University Amsterdam, 1990."},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0020-0190(87)90039-1","volume":"26","author":"M. Rusinowitch","year":"1987","unstructured":"Rusinowitch, M. On termination of the direct sum of term rewriting systems. Information Processing Letters 26 (1987), 65\u201370.","journal-title":"Information Processing Letters"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0020-0190(87)90122-0","volume":"25","author":"Y. Toyama","year":"1987","unstructured":"Toyama, Y. Counterexamples to termination for the direct sum of term rewriting systems. Information Processing Letters 25 (1987), 141\u2013143.","journal-title":"Information Processing Letters"},{"issue":"1","key":"11_CR9","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/7531.7534","volume":"34","author":"Y. Toyama","year":"1987","unstructured":"Toyama, Y. On the Church-Rosser property for the direct sum of term rewriting systems. Journal of the ACM 34, 1 (1987), 128\u2013143.","journal-title":"Journal of the ACM"},{"key":"11_CR10","unstructured":"Zantema, H. Termination of tenu rewriting: from many-sorted to one-sorted. In Computing Science in the Netherlands (November 1991), J. van Leeuwen, Ed., vol. 2, pp. 617\u2013629. Also appeared as report RUU-CS-91-18, Utrecht University."}],"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_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:46:10Z","timestamp":1640925970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}