Overview
The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed.
- | Author: Robert Nieuwenhuis
- | Publisher: Springer
- | Publication Date: May 27, 2003
- | Number of Pages: 518 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3540402543
- | ISBN-13: 9783540402541