Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

این جلد شامل مجموعه مقالات شانزدهمین کنفرانس بین‌المللی تکنیک‌ها و کاربردهای بازنویسی (RTA2005) است که از 19 تا 21 آوریل 2005 در سالن عمومی جدید نارا-کن در مرکز پارک ملی نارا در نارا، ژاپن برگزار شد. RTA انجمن اصلی برای ارائه تحقیقات در مورد همه جنبه های بازنویسی است. کنفرانس های RTA قبلی در Dijon (1985)، بوردو (1987)، چپل هیل (1989)، کومو (1991)، مونترال (1993)، Kaiserslautern (1995)، روتگرز (1995) برگزار شدند. سیجس (1997)، تسوکوبا (1998)، ترنتو (1999)، نوریچ (2000)، اوترخت (2001)، کپنهاگ (2002)، والنسیا (2003)، و آخن (2004). در این سال، 79 مقاله از 20 کشور ارسال شد که 31 مقاله برای انتشار پذیرفته شد (29 مقاله معمولی و 2 شرح سیستم). ارسالی از فرانسه (10 مقاله پذیرفته شده از 23.1 مقاله ارسالی)، ایالات متحده آمریکا (5.6 از 11.7)، ژاپن (4 از 9)، اسپانیا (2.7 از 6.5)، بریتانیا (2.7 از 4.7)، هلند (1.7 از 3.8) بود. آلمان (1.3 از 2.3)، اتریش (1 از 1)، لهستان (1 از 1)، اسرائیل (0.5 از 0.8)، دانمارک (0.5 از 0.5)، چین (0 از 4)، کره (0 از 4) ، تایوان (0 از 1.3)، استرالیا (0 از 1)، برزیل (0 از 1)، روسیه (0 از 1)، سوئیس (0 از 1)، سوئد (0 از 1) و ایتالیا (0 از 0.3) . هر ارسالی به حداقل سه عضو کمیته برنامه واگذار شد که با کمک 111 داور خارجی، مقالات را به دقت بررسی کردند.

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan. RTA is the major forum for the presentation of research on all aspects of rewriting.PreviousRTAconferenceswereheldinDijon(1985),Bordeaux(1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht (2001), Copenhagen (2002), Valencia (2003), and Aachen (2004). This year, there were 79 submissions from 20 countries, of which 31 papers were accepted for publication (29 regular papers and 2 system descriptions). The submissions came from France (10 accepted papers of the 23.1 submitted papers), USA (5.6 of 11.7), Japan (4 of 9), Spain (2.7 of 6.5), UK (2.7 of 4.7), The Netherlands (1.7 of 3.8), Germany (1.3 of 2.3), Austria (1 of 1), Poland (1 of 1), Israel (0.5 of 0.8), Denmark (0.5 of 0.5), China (0 of 4), Korea (0 of 4), Taiwan (0 of 1.3), Australia (0 of 1), Brazil (0 of 1), Russia (0 of 1), Switzerland (0 of 1), Sweden (0 of 1), and Italy (0 of 0.3). Each submission was assigned to at least three Program Committee m- bers, who carefully reviewed the papers, with the help of 111 external referees.