Middeldorp, Aart (ed)Rewriting techniques and applications , 2001
Rewriting techniques and applications. XIIth international conference, RTA 2001, Utrecht, The Netherlands, may 2001. Proceedings. - Springer Verlag, 2001. - (Lecture Notes in Computer Science; 2051).
Narendran, Paliath (ed) & Rusinovitch, Michael (ed)Rewriting techniques and applications , 1999
Rewriting techniques and applications. 10th international conference, RTA '99, held in Trento, Italy, july 2-4, 1999. Proceedings. - Springer Verlag, 1999. - (Lecture Notes in Computer Science; 1631).
Nipkov, Tobias (ed)Rewriting techniques and applications , 1998
Rewriting techniques and applications. Proceedings of 9th international conference, RTA-98. Tsukuba, Japan, march/april 1998. - Springer Verlag, 1998. - (Lecture Notes in Computer Science; 1379).
Comon, Hubert (ed)Rewriting techniques and applications , 1997
Rewriting techniques and applications. 8th international conference, RTA-97, held in Sitges, Spain, June 2-5, 1997. Proceedings. - Springer Verlag, 1997. - (Lecture Notes in Computer Science; 1232).
Kirchner, Claude (ed)Rewriting techniques and applications , 1993
Rewriting techniques and applications. 5th international conference. RTA-93 Montréal, Canada, june 16-18, 1993. Proceedings. - Springer Verlag, 1993. - (Lecture Notes in Computer Science; 690).
Dershowitz, N. (ed)Rewriting techniques and applications , 1989
Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, North Carolina, USA, april 1989. Proceedings. - Springer Verlag, 1989. - (Lecture Notes in Computer Science; 355).
Lescanne, Pierre (ed)Rewriting techniques and applications , 1987
Rewriting techniques and applications, Proceedings, Bordeaux, France, may 25-27, 1987. - Springer Verlag, 1987. - (Lecture Notes in Computer Science; 256).
Jouannaud, Jean-Pierre (ed)Rewriting techniques and applications , 1985
Rewriting techniques and applications, Dijon, France, 20-22 may 1985. - Springer Verlag, 1985. - (Lecture Notes in Computer Science; 202).