Author : Franz Baader
Publisher : Springer Science & Business Media
ISBN 13 : 3540734473
Total Pages : 430 pages
Book Rating : 4.5/5 (47 download)
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.