{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:36Z","timestamp":1725558996023},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253273"},{"type":"electronic","value":"9783540319597"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31959-7_13","type":"book-chapter","created":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T18:17:02Z","timestamp":1278526622000},"page":"218-233","source":"Crossref","is-referenced-by-count":5,"title":["From Conditional to Unconditional Rewriting"],"prefix":"10.1007","author":[{"given":"Grigore","family":"Ro\u015fu","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/888251.888255","volume-title":"5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (PPDP 2003)","author":"S. Antoy","year":"2003","unstructured":"Antoy, S., Brassel, B., Hanus, M.: Conditional narrowing without conditions. In: 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (PPDP 2003), pp. 20\u201331. ACM Press, New York (2003)"},{"issue":"3","key":"13_CR2","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0022-0000(86)90033-4","volume":"32","author":"J. Bergstra","year":"1986","unstructured":"Bergstra, J., Klop, J.: Conditional rewrite rules: Confluence and termination. Journal of Computer and System Sciences\u00a032(3), 323\u2013362 (1986)","journal-title":"Journal of Computer and System Sciences"},{"key":"13_CR3","unstructured":"Borovansky, P., Cirstea, H., Dubois, H., Kirchner, C., Kirchner, H., Moreau, P., Ringeissen, C., Vittek, M.: ELAN: User Manual, Loria, Nancy, France (2000)"},{"key":"13_CR4","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude 2.0 Manual (2003), \n                    \n                      http:\/\/maude.cs.uiuc.edu\/manual"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0304-3975(90)90064-O","volume":"75","author":"N. Dershowitz","year":"1990","unstructured":"Dershowitz, N., Okada, M.: A rationale for conditional equational programming. Theoretical Computer Science\u00a075, 111\u2013138 (1990)","journal-title":"Theoretical Computer Science"},{"key":"13_CR6","series-title":"AMAST Series in Computing","doi-asserted-by":"crossref","DOI":"10.1142\/3831","volume-title":"CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification","author":"R. Diaconescu","year":"1998","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. AMAST Series in Computing, vol.\u00a06. World Scientific, Singapore (1998)"},{"key":"13_CR7","volume-title":"Essentials of programming languages","author":"D.P. Friedman","year":"1992","unstructured":"Friedman, D.P., Haynes, C.T., Wand, M.: Essentials of programming languages. MIT Press, Cambridge (1992)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/3-540-19242-5_8","volume-title":"Conditional Term Rewriting Systems","author":"E. Giovannetti","year":"1988","unstructured":"Giovannetti, E., Moiso, C.: Notes on the elimination of conditions. In: Kaplan, S., Jouannaud, J.-P. (eds.) CTRS 1987. LNCS, vol.\u00a0308, pp. 91\u201397. Springer, Heidelberg (1988)"},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-1-4757-6541-0_1","volume-title":"Software Engineering with OBJ: algebraic specification in action","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ. In: Software Engineering with OBJ: algebraic specification in action, pp. 3\u2013167. Kluwer, Dordrecht (2000)"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19-20","author":"M. Hanus","year":"1994","unstructured":"Hanus, M.: The integration of functions into logic programming: From theory to practice. The Journal of Logic Programming\u00a019-20, 583\u2013628 (1994)","journal-title":"The Journal of Logic Programming"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/3-540-60381-6_11","volume-title":"Conditional and Typed Rewriting Systems","author":"C. Hintermeier","year":"1995","unstructured":"Hintermeier, C.: How to transform canonical decreasing ctrss into equivalent canonical trss. In: Lindenstrauss, N., Dershowitz, N. (eds.) CTRS 1994. LNCS, vol.\u00a0968, pp. 186\u2013205. Springer, Heidelberg (1995)"},{"key":"13_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-25984-8_1","volume-title":"Automated Reasoning","author":"J. Meseguer","year":"2004","unstructured":"Meseguer, J., Ro\u015fu, G.: Rewriting logic semantics: From language specifications to formal analysis tools. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097, pp. 1\u201344. Springer, Heidelberg (2004) (to appear)"},{"key":"13_CR13","first-page":"313","volume":"5","author":"A. Middeldorp","year":"1994","unstructured":"Middeldorp, A., Hamoen, E.: Completeness results for basic narrowing. Journal of Applicable Algebra in Eng., Communication and Computing\u00a05, 313\u2013353 (1994)","journal-title":"Journal of Applicable Algebra in Eng., Communication and Computing"},{"key":"13_CR14","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":"3\u20134","key":"13_CR15","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF01019459","volume":"6","author":"J.C. Reynolds","year":"1993","unstructured":"Reynolds, J.C.: The discoveries of continuations. LISP and Symbolic Computation\u00a06(3\u20134), 233\u2013247 (1993)","journal-title":"LISP and Symbolic Computation"},{"key":"13_CR16","unstructured":"Ro\u015fu, G.: From conditional to unconditional rewriting. Technical Report UIUCDCS-R-2004-2471, University of Illinois at Urbana-Champaign (August 2004)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1006\/jsco.1999.0288","volume":"28","author":"P. Viry","year":"1999","unstructured":"Viry, P.: Elimination of conditions. Journal of Symbolic Computation\u00a028, 381\u2013401 (1999)","journal-title":"Journal of Symbolic Computation"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-45127-7_27","volume-title":"Rewriting Techniques and Applications","author":"E. Visser","year":"2001","unstructured":"Visser, E.: Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol.\u00a02051, pp. 357\u2013361. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31959-7_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:44:09Z","timestamp":1620013449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31959-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253273","9783540319597"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31959-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}