24. RTA 2013: Eindhoven, The Netherlands

• 
  Femke van Raamsdonk (Ed.): 24th International Conference on Rewriting Techniques and Applications (RTA 2013), RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013 LIPIcs 21 ISBN 978-3-939897-53-8 [ contents ]

23. RTA 2012: Nagoya, Japan

• 
  Ashish Tiwari (Ed.): 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012 LIPIcs 15 ISBN 978-3-939897-38-5 [ contents ]

22. RTA 2011: Novi Sad, Serbia

• 
  Manfred Schmidt-Schauß (Ed.): Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011 LIPIcs 10 ISBN 978-3-939897-30-9 [ contents ]

21. RTA 2010: Edinburgh, Scottland, UK

• 
  Christopher Lynch (Ed.): Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2010 LIPIcs 6 ISBN 978-3-939897-18-7 [ contents ]

20. RTA 2009: Brasília, Brazil

• 
  Ralf Treinen (Ed.): Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings. Springer 2009 Lecture Notes in Computer Science 5595 ISBN 978-3-642-02347-7 [ contents ]

19. RTA 2008: Hagenberg, Austria

• 
  Andrei Voronkov (Ed.): Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings. Springer 2008 Lecture Notes in Computer Science 5117 ISBN 978-3-540-70588-8 [ contents ]

18. RTA 2007: Paris, France

• 
  Franz Baader (Ed.): Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4533 ISBN 978-3-540-73447-5 [ contents ]

17. RTA 2006: Seattle, WA, USA

• 
  Frank Pfenning (Ed.): Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 4098 ISBN 3-540-36834-5 [ contents ]

16. RTA 2005: Nara, Japan

• 
  Jürgen Giesl (Ed.): Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3467 ISBN 3-540-25596-6 [ contents ]

15. RTA 2004: Aachen, Germany

• 
  Vincent van Oostrom (Ed.): Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 3091 ISBN 3-540-22153-0 [ contents ]

14. RTA 2003: Valencia, Spain

• 
  Robert Nieuwenhuis (Ed.): Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science 2706 ISBN 3-540-40254-3 [ contents ]

13. RTA 2002: Copenhagen, Denmark

• 
  Sophie Tison (Ed.): Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2378 ISBN 3-540-43916-1 [ contents ]

12. RTA 2001: Utrecht, The Netherlands

• 
  Aart Middeldorp (Ed.): Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science 2051 ISBN 3-540-42117-3 [ contents ]

- RTA 2001 Home Page

11. RTA 2000: Norwich, UK

• 
  Leo Bachmair (Ed.): Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science 1833 ISBN 3-540-67778-X [ contents ]

- RTA 2000 Home Page

10. RTA 1999: Trento, Italy

• 
  Paliath Narendran, Michaël Rusinowitch (Eds.): Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science 1631 ISBN 3-540-66201-4 [ contents ]

- RTA 1999 Home Page

9. RTA 1998: Tsukuba, Japan

• 
  Tobias Nipkow (Ed.): Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science 1379 ISBN 3-540-64301-X [ contents ]

8. RTA 1997: Sitges, Spain

• 
  Hubert Comon (Ed.): Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings. Springer 1997 Lecture Notes in Computer Science 1232 ISBN 3-540-62950-5 [ contents ]

7. RTA 1996: New Brunswick, NJ, USA

• 
  Harald Ganzinger (Ed.): Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings. Springer 1996 Lecture Notes in Computer Science 1103 ISBN 3-540-61464-8 [ contents ]

6. RTA 1995: Kaiserslautern, Germany

• 
  Jieh Hsiang (Ed.): Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings. Springer 1995 Lecture Notes in Computer Science 914 ISBN 3-540-59200-8 [ contents ]

5. RTA 1993: Montreal, Canada

• 
  Claude Kirchner (Ed.): Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings. Springer 1993 Lecture Notes in Computer Science 690 ISBN 3-540-56868-9 [ contents ]

4. RTA 1991: Como, Italy

• 
  Ronald V. Book (Ed.): Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings. Springer 1991 Lecture Notes in Computer Science 488 ISBN 3-540-53904-2 [ contents ]

3. RTA 1989: Chapel Hill, North Carolina, USA

• 
  Nachum Dershowitz (Ed.): Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings. Springer 1989 Lecture Notes in Computer Science 355 ISBN 3-540-51081-8 [ contents ]

2. RTA 1987: Bordeaux, France

• 
  Pierre Lescanne (Ed.): Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings. Springer 1987 Lecture Notes in Computer Science 256 ISBN 3-540-17220-3 [ contents ]

1. RTA 1985: Dijon, France

• 
  Jean-Pierre Jouannaud (Ed.): Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings. Springer 1985 Lecture Notes in Computer Science 202 ISBN 3-540-15976-2 [ contents ]