{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:04Z","timestamp":1725664384665},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603818"},{"type":"electronic","value":"9783540455134"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60381-6_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:22:54Z","timestamp":1330262574000},"page":"186-205","source":"Crossref","is-referenced-by-count":8,"title":["How to transform canonical decreasing CTRSs into equivalent canonical TRSs"],"prefix":"10.1007","author":[{"given":"Claus","family":"Hintermeier","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"11_CR1","first-page":"320","volume-title":"volume 516 of LNCS","author":"H. Aida","year":"1990","unstructured":"H. Aida, G. Goguen, and J. Meseguer. Compiling concurrent rewriting onto the rewrite rule machine. In S. Kaplan and M. Okada, editors, Proceedings 2nd International Workshop on Conditional and Typed Rewriting Systems, Montreal (Canada), volume 516 of LNCS, pages 320\u2013332. Springer-Verlag, June 1990."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"L. Bachmair, H. Ganzinger, C. Lynch, and W. Snyder. Basic paramodulation and superposition. In Proceedings 11th International Conference on Automated Deduction, Saratoga Springs (N. Y., USA), pages 462\u2013476, 1992.","DOI":"10.1007\/3-540-55602-8_185"},{"issue":"3","key":"11_CR3","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0022-0000(86)90033-4","volume":"32","author":"J. A. Bergstra","year":"1986","unstructured":"J. A. Bergstra and J. W. Klop. Conditional rewrite rules: Confluency and termination. Journal of Computer and System Sciences, 32(3):323\u2013362, 1986.","journal-title":"Journal of Computer and System Sciences"},{"key":"11_CR4","first-page":"76","volume-title":"volume 81 of LNCS","author":"J. A. Bergstra","year":"1980","unstructured":"J. A. Bergstra and J. V. Tucker. A characterisation of computable data types by means of a finite equational specification method. In J.W. de Bakker and J. van Leuwen, editors, Proceedings 7th ICALP Conference, Noordwijkerhout, volume 81 of LNCS, pages 76\u201390. Springer-Verlag, 1980."},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0304-3975(87)90123-X","volume":"50","author":"J. A. Bergstra","year":"1987","unstructured":"J. A. Bergstra and J. V. Tucker. Algebraic specifications of computable and semicomputable data structures. Theoretical Computer Science, 50:137\u2013181, 1987.","journal-title":"Theoretical Computer Science"},{"key":"11_CR6","first-page":"45","volume-title":"volume 355 of LNCS","author":"H. Bertling","year":"1989","unstructured":"H. Bertling and H. Ganzinger. Compile-time optimization of rewrite-time goal solving. In N. Dershowitz, editor, Proceedings 3rd Conference on Rewriting Techniques and Applications, Chapel Hill (N.C., USA), volume 355 of LNCS, pages 45\u201358. Springer-Verlag, April 1989."},{"key":"11_CR7","first-page":"325","volume-title":"An extension of WAM for K-LEAF: a WAM-based compilation of conditional narrowing","author":"P.G. Bosco","year":"1989","unstructured":"P.G. Bosco, C. Cecchi, and C. Moiso. An extension of WAM for K-LEAF: a WAM-based compilation of conditional narrowing. In Proceedings Sixth International Conference on Logic Programming, Lisboa (Portugal), pages 325\u2013339. The MIT press, 1989."},{"issue":"2","key":"11_CR8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0747-7171(08)80089-2","volume":"13","author":"S. Burris","year":"1992","unstructured":"S. Burris. Discriminator varieties and symbolic computation. Journal of Symbolic Computation, 13(2):175\u2013208, February 1992.","journal-title":"Journal of Symbolic Computation"},{"key":"11_CR9","first-page":"109","volume-title":"volume 355 of LNCS","author":"M. Dauchet","year":"1989","unstructured":"M. Dauchet. Simulation of Turing machines by a left-linear rewrite rule. In N. Dershowitz, editor, Proceedings 3rd Conference on Rewriting Techniques and Applications, Chapel Hill (N.C., USA), volume 355 of LNCS, pages 109\u2013120. Springer-Verlag, April 1989."},{"key":"11_CR10","first-page":"244","volume-title":"Handbook of Theoretical Computer Science, volume B","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.-P. Jouannaud. Handbook of Theoretical Computer Science, volume B, chapter 6: Rewrite Systems, pages 244\u2013320. Elsevier Science Publishers B. V. (North-Holland), 1990. Also as: Research report 478, LRI."},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0304-3975(90)90064-O","volume":"75","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and M. Okada. A rationale for conditional equational programming. Theoretical Computer Science, 75:111\u2013138, 1990.","journal-title":"Theoretical Computer Science"},{"key":"11_CR12","first-page":"21","volume-title":"Machine Intelligence 11: The Logic and Acquisition of knowledge","author":"N. Dershowitz","year":"1988","unstructured":"N. Dershowitz and D. A. Plaisted. Equational Programming, pages 21\u201356. J. Richards, Oxford, 1988. Machine Intelligence 11: The Logic and Acquisition of knowledge."},{"key":"11_CR13","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/S0747-7171(08)80132-0","volume":"11","author":"H. Ganzinger","year":"1991","unstructured":"H. Ganzinger. A completion procedure for conditional equations. Journal of Symbolic Computation, 11:51\u201381, 1991.","journal-title":"Journal of Symbolic Computation"},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(90)90105-Q","volume":"89","author":"H. Ganzinger","year":"1991","unstructured":"H. Ganzinger. Order-sorted completion: the many-sorted way. Theoretical Computer Science, 89(1):3\u201332, 1991.","journal-title":"Theoretical Computer Science"},{"key":"11_CR15","volume-title":"volume 308 of LNCS","author":"E. Giovannetti","year":"1987","unstructured":"E. Giovannetti and C. Moisi. Notes on the elimination of conditions. In J.-P. Jouannaud and S. Kaplan, editors, Proceedings 1st International Workshop on Conditional Term Rewriting Systems, Orsay (France), volume 308 of LNCS. Springer-Verlag, July 1987."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"I. Gnaedig. ELIOS-OBJ: Theorem proving in a specification language. In B. Krieg-Br\u00fcckner, editor, Proceedings of the 4th European Symposium on Programming, volume 582 of LNCS, pages 182\u2013199. Springer-Verlag, February 1992.","DOI":"10.1007\/3-540-55253-7_11"},{"key":"11_CR17","unstructured":"J. A. Goguen. The rewrite rule machine project. In Proceedings of the second international conference on supercomputing, Santa Clara, California, May 1987."},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19","author":"M. Hanus","year":"1994","unstructured":"M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583\u2013628, 1994.","journal-title":"Journal of Logic Programming"},{"key":"11_CR19","unstructured":"M. Hanus. On extra variables in (equational) logic programming. Technical Report MPI-I-94-246, Max-Planck-Institut Saarbr\u00fccken, 1994."},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"C. Hintermeier, C. Kirchner, and H. Kirchner. Dynamically-typed computations for order-sorted equational presentations. In S. Abiteboul and E. Shamir, editors, Proc. 21st ICALP Conference, volume 820 of LNCS, pages 450\u2013461. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58201-0_89"},{"key":"11_CR21","volume-title":"Technical Report 283","author":"G. Huet","year":"1978","unstructured":"G. Huet and D. S. Lankford. On the uniform halting problem for term rewriting systems. Technical Report 283, IRIA \u2014 Laboria, France, 1978."},{"issue":"4","key":"11_CR22","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"G. Huet. Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of the ACM, 27(4):797\u2013821, October 1980. Preliminary version in 18th Symposium on Foundations of Computer Science, IEEE, 1977.","journal-title":"Journal of the ACM"},{"issue":"1","key":"11_CR23","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0743-1066(89)90030-7","volume":"6","author":"N. A. Josephson","year":"1989","unstructured":"N. Alan Josephson and Nachum Dershowitz. An implementation of narrowing. Journal of Logic Programming, 6(1&2):57\u201377, March 1989.","journal-title":"Journal of Logic Programming"},{"key":"11_CR24","first-page":"257","volume-title":"Computational Logic. Essays in honor of Alan Robinson","author":"J.-P. Jouannaud","year":"1991","unstructured":"J.-P. Jouannaud and Claude Kirchner. Solving equations in abstract algebras: a rule-based survey of unification. In Jean-Louis Lassez and G. Plotkin, editors, Computational Logic. Essays in honor of Alan Robinson, chapter 8, pages 257\u2013321. The MIT press, Cambridge (MA, USA), 1991."},{"key":"11_CR25","first-page":"25","volume-title":"volume 256 of LNCS","author":"S. Kaplan","year":"1987","unstructured":"S. Kaplan. A compiler for conditional term rewriting systems. In P. Lescanne, editor, Proceedings 2nd Conference on Rewriting Techniques and Applications, Bordeaux (France), volume 256 of LNCS, pages 25\u201341, Bordeaux (France), May 1987. Springer-Verlag."},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Claude Kirchner and P. Viry. Implementing parallel rewriting. In B. Fronh\u00f6fer and G. Wrightson, editors, Parallelization in Inference Systems, volume 590 of LNAI, pages 123\u2013138. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55425-4_5"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Claude Kirchner, H\u00e9l\u00e8ne Kirchner, and J. Meseguer. Operational semantics of OBJ-3. In Proceedings of 15th ICALP Conference, volume 317 of LNCS, pages 287\u2013301. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-19488-6_123"},{"key":"11_CR28","volume-title":"Phd thesis","author":"G. Sivakumar","year":"1989","unstructured":"G. Sivakumar. Proofs and computations in conditional equational theories. Phd thesis, University of Illinois, Urbana-Champaign (IL\/USA), 1989."}],"container-title":["Lecture Notes in Computer Science","Conditional and Typed Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60381-6_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:58:46Z","timestamp":1605628726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60381-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603818","9783540455134"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-60381-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}