EKB DL

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

EKB DL

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

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

Description

This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.

Keywords

MathematicsLogicComputersProgrammingDiscrete MathematicsInformation TechnologyHistory & Philosophy

1987Book

Author(s)Pierre Lescanne

PublisherSpringer Berlin Heidelberg

ISBN9783540172208

LanguageEnglish

SpringerLink

Similar Books

Book

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

Book

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

Book

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

Book

Rewriting Techniques and Applications 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings

Book

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

Book

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

Book

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

Book

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

Book

Rewriting Techniques and Applications 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

Book

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