| Title:
|
REWRITING TECHNIQUES AND APPLICATIONS
7TH INTERNATIONAL CONFERENCE, RTA-96, NEW BRUNSWICK, NJ, USA JULY 27 - 30, 1996, PROCEEDINGS |
| Volume: |
7th |
| By: |
Harald Ganzinger (Editor) |
| Format: |
Paperback |
| List price:
|
£78.50 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3540614648 |
| ISBN 13: |
9783540614647 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
1 July, 1996 |
| Series: |
Lecture Notes in Computer Science v. 1103 |
| Pages: |
440 |
| Description: |
The 27 papers in this volume cover topics including analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, and symbolic and algebraic computation. |
| Synopsis: |
This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996. The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines. |
| Illustrations: |
biography |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Returnable |
|
|