Proceedings

RTA: Rewriting Techniques and Applications

• RTA-85:
  May 1985
  Dijon, France
  Proceedings: Jouannaud J.-P. Editor, Lecture notes in computer science 202, Springer, 1985
  ISBN: 3-540-15976-2

• RTA-87:
  May 1987
  Bordeaux, France
  Proceedings: Lescanne P. Editor, Lecture Notes in Computer Science 256, Springer, 1987
  ISBN: 3-540-17220-3

• RTA-89:
  April 1989
  Chapel Hill, USA
  Dershowitz N. Editor, Lecture Notes in Computer Science 355, Springer, 1989
  ISBN: 3-540-51081-8

• RTA-91:
  April 1991
  Como, Italy
  Proceedings: Book R.V. Editor, Lecture Notes in Computer Science 488, Springer, 1991
  ISBN: 3-540-53904-2

• RTA-93:
  June 1993
  Montreal, Canada
  Proceedings: Kirchner C., Lecture notes in computer science 690, Springer, 1993
  ISBN: 3-540-56868-9
  Selected papers of RTA-93: Kirchner C. Editor, Elsevier, Amsterdam, 1995

• RTA-95:
  April 1995
  Kaiserslautern, Germany
  Proceedings: Hsiang J. Editor, Lecture notes in computer science 914, Springer, 1995
  ISBN: 3-540-59200-8

• RTA-96:
  July 1996
  New Brunswick, U.S.A.
  Proceedings: Ganzinger H. Editor, Lecture notes in computer science 1103, Springer, 1996
  ISBN: 3-540-61464-8

Go to:
Proceedings
Literature
CAIN Home page