|
|
|
Item Details
Title:
|
TERM REWRITING AND APPLICATIONS
18TH INTERNATIONAL CONFERENCE, RTA 2007, PARIS, FRANCE, JUNE 26-28, 2007, PROCEEDINGS |
By: |
Franz Baader (Editor) |
Format: |
Paperback |
List price:
|
£74.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
3540734473 |
ISBN 13: |
9783540734475 |
Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
Pub. date: |
21 June, 2007 |
Series: |
Lecture Notes in Computer Science / Theoretical Computer Science and General v. 4533 |
Pages: |
434 |
Description: |
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. |
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. |
Illustrations: |
biography |
Publication: |
Germany |
Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
Returns: |
Returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|