Rewriting Techniques and Applications
| Author | : Robert Nieuwenhuis |
| Publisher | : Springer |
| Total Pages | : 527 |
| Release | : 2007-03-06 |
| ISBN-10 | : 9783540448815 |
| ISBN-13 | : 3540448810 |
| Rating | : 4/5 (810 Downloads) |
Book Synopsis Rewriting Techniques and Applications by : Robert Nieuwenhuis
Download or read book Rewriting Techniques and Applications written by Robert Nieuwenhuis and published by Springer. This book was released on 2007-03-06 with total page 527 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
