Term Rewriting and Applications
| Author | : Franz Baader |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 430 |
| Release | : 2007-06-21 |
| ISBN-10 | : 9783540734475 |
| ISBN-13 | : 3540734473 |
| Rating | : 4/5 (473 Downloads) |
Book Synopsis Term Rewriting and Applications by : Franz Baader
Download or read book Term Rewriting and Applications written by Franz Baader and published by Springer Science & Business Media. This book was released on 2007-06-21 with total page 430 pages. Available in PDF, EPUB and Kindle. Book excerpt: The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics.