{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:59Z","timestamp":1750307999509,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,7,10]],"date-time":"2006-07-10T00:00:00Z","timestamp":1152489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,10]]},"DOI":"10.1145\/1140335.1140350","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"109-120","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Rewriting term-graphs with priority"],"prefix":"10.1145","author":[{"given":"Ricardo","family":"Caferra","sequence":"first","affiliation":[{"name":"Leibniz-IMAG, CNRS, Grenoble Cedex, France"}]},{"given":"Rachid","family":"Echahed","sequence":"additional","affiliation":[{"name":"Leibniz-IMAG, CNRS, Grenoble Cedex, France"}]},{"given":"Nicolas","family":"Peltier","sequence":"additional","affiliation":[{"name":"Leibniz-IMAG, CNRS, Grenoble Cedex, France"}]}],"member":"320","published-online":{"date-parts":[[2006,7,10]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1016\/0743-1066(93)90043-G"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/174675.177899"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.5555\/645869.668667"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.5555\/2168279.2168298"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1006\/inco.1999.2824"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1016\/0304-3975(94)90090-6"},{"key":"e_1_3_2_1_7_1","first-page":"141","volume-title":"PARLE'87","author":"Barendregt H.","year":"1987","unstructured":"H. Barendregt , M. van Eekelen , J. Glauert , R. Kenneway , M. J. Plasmeijer , and M. Sleep . Term Graph Rewriting . In PARLE'87 , pages 141 -- 158 . Springer , LNCS 259, 1987 .]] H. Barendregt, M. van Eekelen, J. Glauert, R. Kenneway, M. J. Plasmeijer, and M. Sleep. Term Graph Rewriting. In PARLE'87, pages 141--158. Springer, LNCS 259, 1987.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/11560586_10"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1016\/j.entcs.2005.01.034"},{"key":"e_1_3_2_1_10_1","volume-title":"Rewrite strategies in the rewriting calculus. Electr. Notes Theor. Comput. Sci., 86(4)","author":"Cirstea H.","year":"2003","unstructured":"H. Cirstea , C. Kirchner , L. Liquori , and B. Wack . Rewrite strategies in the rewriting calculus. Electr. Notes Theor. Comput. Sci., 86(4) , 2003 .]] H. Cirstea, C. Kirchner, L. Liquori, and B. Wack. Rewrite strategies in the rewriting calculus. Electr. Notes Theor. Comput. Sci., 86(4), 2003.]]"},{"key":"e_1_3_2_1_11_1","first-page":"468","volume-title":"Proc. of the 4th International Joint Conference CAAP-FASE (TAPSOFT'93)","author":"Corradini A.","year":"1993","unstructured":"A. Corradini . Term Rewriting in CT\u0395 . In Proc. of the 4th International Joint Conference CAAP-FASE (TAPSOFT'93) , pages 468 -- 484 . LNCS 668, 1993 .]] A. Corradini. Term Rewriting in CT\u0395. In Proc. of the 4th International Joint Conference CAAP-FASE (TAPSOFT'93), pages 468--484. LNCS 668, 1993.]]"},{"issue":"4","key":"e_1_3_2_1_12_1","first-page":"467","article-title":"Rewriting on cyclic structures: Equivalence between the operational and the categorical description","volume":"33","author":"Corradini A.","year":"1999","unstructured":"A. Corradini and F. Gadducci . Rewriting on cyclic structures: Equivalence between the operational and the categorical description . ITA , 33 ( 4\/5 ): 467 -- 493 , 1999 .]] A. Corradini and F. Gadducci. Rewriting on cyclic structures: Equivalence between the operational and the categorical description. ITA, 33(4\/5):467--493, 1999.]]","journal-title":"ITA"},{"key":"e_1_3_2_1_13_1","volume-title":"Handbook of Theoretical Computer Science","author":"Dershowitz N.","year":"1990","unstructured":"N. Dershowitz and J.-P. Jouannaud . Rewrite systems . In Handbook of Theoretical Computer Science , Volume B: Formal Models and Semantics (B), pages 243-- 320 . 1990 .]] N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B), pages 243--320. 1990.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1016\/j.entcs.2004.12.042"},{"key":"e_1_3_2_1_15_1","first-page":"325","volume-title":"Proceedings of 15th International Conference and Symposium on Logic Programming","author":"Echahed R.","year":"1998","unstructured":"R. Echahed and J.-C. Janodet . Admissible graph rewriting and narrowing . In Proceedings of 15th International Conference and Symposium on Logic Programming , pages 325 -- 340 , Manchester , 1998 . MIT Press.]] R. Echahed and J.-C. Janodet. Admissible graph rewriting and narrowing. In Proceedings of 15th International Conference and Symposium on Logic Programming, pages 325--340, Manchester, 1998. MIT Press.]]"},{"key":"e_1_3_2_1_16_1","first-page":"1589","article-title":"Parallel admissible graph rewriting. In Recent Developments in Algebraic Development Techniques, pages 121--135","author":"Echahed R.","year":"1999","unstructured":"R. Echahed and J. C. Janodet . Parallel admissible graph rewriting. In Recent Developments in Algebraic Development Techniques, pages 121--135 . LNCS 1589 , 1999 .]] R. Echahed and J. C. Janodet. Parallel admissible graph rewriting. In Recent Developments in Algebraic Development Techniques, pages 121--135. LNCS 1589, 1999.]]","journal-title":"LNCS"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1016\/0743-1066(94)90034-5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/177492.177577"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1006\/inco.1995.1075"},{"key":"e_1_3_2_1_20_1","volume-title":"Functional Programming and Parallel Graph Rewriting","author":"Plasmeijer R.","year":"1993","unstructured":"R. Plasmeijer and M. van Eekelen . Functional Programming and Parallel Graph Rewriting . Addison-Wesley , 1993 .]] R. Plasmeijer and M. van Eekelen. Functional Programming and Parallel Graph Rewriting. Addison-Wesley, 1993.]]"},{"key":"e_1_3_2_1_21_1","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"Plump D.","year":"1998","unstructured":"D. Plump . Term graph rewriting . In H. Ehrig, G. Engels, H. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation , volume 2 . World Scientific , 1998 .]] D. Plump. Term graph rewriting. In H. Ehrig, G. Engels, H. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, volume 2. World Scientific, 1998.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.5555\/2168279.2168295"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/363534.363554"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1016\/j.jsc.2004.12.011"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"acronym":"PPDP06","name":"PPDP06: Principles and Practice of Declarative Programming","location":"Venice Italy"},"container-title":["Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140335.1140350","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1140335.1140350","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:24Z","timestamp":1750259184000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140335.1140350"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,10]]},"references-count":24,"alternative-id":["10.1145\/1140335.1140350","10.1145\/1140335"],"URL":"https:\/\/doi.org\/10.1145\/1140335.1140350","relation":{},"subject":[],"published":{"date-parts":[[2006,7,10]]},"assertion":[{"value":"2006-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}