Features
- Cover Type: Paperback with 517 pages
- Published by: Springer
- Edition: 1st Edition January 4, 2008
- Written in: English
- ISBN 10 Number: 3540255966
- ISBN 13 Number: 978-3540255963
-
Book Dimensions:
9.1 x 5.9 x 1 inches
- Weighs: 1.7 pounds
Product Description
This book constitutes the refereed proceedings of the 16th International Conference on Rewriting Techniques and Applications, RTA 2005, held in Nara, Japan in April 2005.
The 29 revised full papers and 2 systems description papers presented together with 5 invited articles were carefully reviewed and selected from 79 submissions. All current issues in Rewriting are addressed, ranging from foundational and methodological issues to applications in various contexts; due to the fact that the first RTA conference was held twenty years ago, the conference offered 3 invited historical papers 2 of which are included in this proceedings.