The book is currently out of stock
Rewriting techniques and applications
Authors
Parameters
More about the book
This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.
Book purchase
Rewriting techniques and applications, Aart Middeldorp
- Language
- Released
- 2001
We’ll notify you via email once we track it down.
Payment methods
- Title
- Rewriting techniques and applications
- Language
- English
- Authors
- Aart Middeldorp
- Publisher
- Springer
- Released
- 2001
- ISBN10
- 3540421173
- ISBN13
- 9783540421177
- Series
- Lecture notes in computer science
- Category
- Computers, IT, Programming
- Description
- This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.