Term Rewriting and Applications

Franz Baader

ISBN 10: 3540734473 / ISBN 13: 9783540734475

Published by Springer Berlin Heidelberg Jun 2007, 2007

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 436 pp. Englisch.

Seller Inventory # 9783540734475

Bibliographic Details

• Title: Term Rewriting and Applications
• Publisher: Springer Berlin Heidelberg Jun 2007
• Publication Date: 2007
• Language: English
• ISBN 10: 3540734473
• ISBN 13: 9783540734475
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 24D millimeters 235 millimeters width by 155 millimeters height by 24 millimeters depth
• Weight: 657 grams

About this title

Synopsis

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.