Rewriting Techniques and Applications
Download or Read eBook Rewriting Techniques and Applications PDF written by Paliath Narendran and published by Springer. This book was released on 2003-07-31 with total page 408 pages. Available in PDF, EPUB and Kindle.
| Author | : Paliath Narendran |
| Publisher | : Springer |
| Total Pages | : 408 |
| Release | : 2003-07-31 |
| ISBN-10 | : 9783540486855 |
| ISBN-13 | : 3540486852 |
| Rating | : 4/5 (55 Downloads) |
Book Synopsis Rewriting Techniques and Applications by : Paliath Narendran
Book excerpt: This book constitutes the refereed proceedings of the 10th International Conference on Rewriting Techniques and Applications, RTA-99, held in Trento, Italy in July 1999 as part of FLoC'99. The 23 revised full papers presented were carefully selected from a total of 53 submissions. Also included are four system descriptions as well as three invited contributions. Among the topics covered are constraint solving, termination, deduction and higher order rewriting, graphs, complexity, tree automata, context-sensitive rewriting, string rewriting and numeration systems, etc.
