Rewriting Techniques and Applications 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : Proceedings | EKB DL

Home BookRewriting Techniques and Applications 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : Proceedings

Rewriting Techniques and Applications 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : Proceedings

Description

Book by Kirchner, Claude

ComputersSoftware Development & Engineering

1993Book

Author(s)International Conference on Rewriting Techniques and Applications (5th 1993 Montreal, Que.)

PublisherSpringer-Verlag

ISBN9783540568681

LanguageEnglish

Rewriting Techniques and Applications Bordeaux, France, May 25-27, 1987. Proceedings

Rewriting Techniques and Applications 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings

Rewriting Techniques and Applications 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings

Rewriting Techniques and Applications 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science, 202)

Rewriting Techniques and Applications 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

Rewriting Techniques and Applications 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Term Rewriting French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

Rewriting Techniques and Applications 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings