Rewriting Techniques and Applications (RTA)
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.
Lecture Notes in Computer Science 5595 Springer 2009, 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.
Lecture Notes in Computer Science 5117 Springer 2008, 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.
Lecture Notes in Computer Science 4533 Springer 2007, 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.
Lecture Notes in Computer Science 4098 Springer 2006, 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.
Lecture Notes in Computer Science 3467 Springer 2005, 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.
Lecture Notes in Computer Science 3091 Springer 2004, 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.
Lecture Notes in Computer Science 2706 Springer 2003, 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.
Lecture Notes in Computer Science 2378 Springer 2002, 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.
Lecture Notes in Computer Science 2051 Springer 2001, 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.
Lecture Notes in Computer Science 1833 Springer 2000, 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.
Lecture Notes in Computer Science 1631 Springer 1999, 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.
Lecture Notes in Computer Science 1379 Springer 1998, 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.
Lecture Notes in Computer Science 1232 Springer 1997, 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.
Lecture Notes in Computer Science 1103 Springer 1996, 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.
Lecture Notes in Computer Science 914 Springer 1995, 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.
Lecture Notes in Computer Science 690 Springer 1993, 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.
Lecture Notes in Computer Science 488 Springer 1991, 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.
Lecture Notes in Computer Science 355 Springer 1989, 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.
Lecture Notes in Computer Science 256 Springer 1987, 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.
Lecture Notes in Computer Science 202 Springer 1985, ISBN 3-540-15976-2
Contents
Copyright © Mon Mar 15 03:53:08 2010
by Michael Ley (ley@uni-trier.de)