.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Term Rewriting and Applications
N/A
€ 68.33
FREE Delivery in Ireland
Description for Term Rewriting and Applications
Paperback. Covers the proceedings of the 18th International Conference on Rewriting Techniques and Applications, RTA 2007, held in Paris, France in June 2007 in conjunction with TLCA 2007, the 8th International Conference on Typed Lambda Calculi and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 434 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 664.
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.
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.
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
434
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
422
Place of Publication
Berlin, Germany
ISBN
9783540734475
SKU
V9783540734475
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Term Rewriting and Applications