{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:10Z","timestamp":1762458490296},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540368342"},{"type":"electronic","value":"9783540368359"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11805618_3","type":"book-chapter","created":{"date-parts":[[2006,7,25]],"date-time":"2006-07-25T14:29:13Z","timestamp":1153837753000},"page":"19-34","source":"Crossref","is-referenced-by-count":7,"title":["Computationally Equivalent Elimination of Conditions"],"prefix":"10.1007","author":[{"given":"Traian Florin","family":"\u015eerb\u0103nu\u0163\u0103","sequence":"first","affiliation":[]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","first-page":"320","volume-title":"Conditional and Typed Rewriting Systems","author":"H. Aida","year":"1991","unstructured":"Aida, H., Goguen, J.A., Meseguer, J.: Compiling concurrent rewriting onto the rewrite rule machine. In: Okada, M., Kaplan, S. (eds.) CTRS 1990. LNCS, vol.\u00a0516, pp. 320\u2013332. Springer, Heidelberg (1991)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/888251.888255","volume-title":"PPDP 2003","author":"S. Antoy","year":"2003","unstructured":"Antoy, S., Brassel, B., Hanus, M.: Conditional narrowing without conditions. In: PPDP 2003, pp. 20\u201331. ACM Press, New York (2003)"},{"issue":"3","key":"3_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":"Bergstra, J.A., Klop, J.W.: Conditional rewrite rules: Confluence and termination. J. of Computer and System Sciences\u00a032(3), 323\u2013362 (1986)","journal-title":"J. of Computer and System Sciences"},{"key":"3_CR4","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":"3_CR5","unstructured":"Brassel, B.: Bedingte narrowing-verfahren mit verz\u00f6gerter auswertung. Master\u2019s thesis, RWTH Aachen (1999) (in German)"},{"key":"3_CR6","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude 2.0 Manual (2003), http:\/\/maude.cs.uiuc.edu\/manual"},{"key":"3_CR7","unstructured":"Dershowitz, N., Plaisted, D.A.: Equational programming. In: Hayes, J.E., Michie, D., Richards, J. (eds.) Machine Intelligence 11, pp. 21\u201356 (1988)"},{"key":"3_CR8","series-title":"AMAST Series in Computing","doi-asserted-by":"crossref","DOI":"10.1142\/3831","volume-title":"CafeOBJ Report","author":"R. Diaconescu","year":"1998","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ Report. AMAST Series in Computing, vol.\u00a06. World Scientific, Singapore (1998)"},{"key":"3_CR9","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":"3_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-1-4757-6541-0_1","volume-title":"Software Engineering with OBJ","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ. In: Software Engineering with OBJ, pp. 3\u2013167. Kluwer, Dordrecht (2000)"},{"issue":"20","key":"3_CR11","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19","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":"3_CR12","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)"},{"issue":"4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1016\/j.ipl.2005.05.002","volume":"95","author":"S. Lucas","year":"2005","unstructured":"Lucas, S., March\u00e9, C., Meseguer, J.: Operational termination of conditional term rewriting systems. Inf. Proc. Letters\u00a095(4), 446\u2013453 (2005)","journal-title":"Inf. Proc. Letters"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/3-540-61735-3_7","volume-title":"Algebraic and Logic Programming","author":"M. Marchiori","year":"1996","unstructured":"Marchiori, M.: Unravelings and ultra-properties. In: Hanus, M., Rodr\u00edguez-Artalejo, M. (eds.) ALP 1996. LNCS, vol.\u00a01139, pp. 107\u2013121. Springer, Heidelberg (1996)"},{"key":"3_CR15","unstructured":"Marchiori, M.: On deterministic conditional rewriting. Computation Structures Group, Memo 405, MIT Laboratory for Computer Science (1997)"},{"key":"3_CR16","unstructured":"Nishida, N., Sakai, M., Sakabe, T.: On simulation-completeness of unraveling for conditional term rewriting systems. In: LA Symposium 2004 Summer, LA Symposium, vol. 2004-7, pp. 1\u20136 (2004)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/3-540-48242-3_8","volume-title":"Logic Programming and Automated Reasoning","author":"E. Ohlebusch","year":"1999","unstructured":"Ohlebusch, E.: Transforming conditional rewrite systems with extra variables into unconditional systems. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705, pp. 111\u2013130. Springer, Heidelberg (1999)"},{"key":"3_CR18","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)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-540-31959-7_13","volume-title":"Recent Trends in Algebraic Development Techniques","author":"G. Ro\u015fu","year":"2005","unstructured":"Ro\u015fu, G.: From conditional to unconditional rewriting. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 218\u2013233. Springer, Heidelberg (2005)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"\u015eerb\u0103nu\u0163\u0103, T.F., Ro\u015fu, G.: Computationally equivalent elimination of conditions. Technical Report UIUCDCS-R-2006-2693, UIUC (February 2006)","DOI":"10.1007\/11805618_3"},{"issue":"4","key":"3_CR21","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/567097.567099","volume":"24","author":"M. Brand van den","year":"2002","unstructured":"van den Brand, M., Heering, J., Klint, P., Olivier, P.A.: Compiling language definitions: the ASF+SDF compiler. ACM TOPLAS\u00a024(4), 334\u2013368 (2002)","journal-title":"ACM TOPLAS"},{"key":"3_CR22","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. J. of Symb. Comp.\u00a028, 381\u2013401 (1999)","journal-title":"J. of Symb. Comp."}],"container-title":["Lecture Notes in Computer Science","Term Rewriting and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11805618_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:12:48Z","timestamp":1605643968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11805618_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540368342","9783540368359"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11805618_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}