dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Mar 15 03:53:08 2010 by Michael Ley (ley@uni-trier.de)