| Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996. Proceedings Contributor(s): Ganzinger, Harald (Editor) |
|
 |
ISBN: 3540614648 ISBN-13: 9783540614647 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: July 1996 Annotation: 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. |
| Additional Information |
| BISAC Categories: - Computers | Compilers - Computers | Programming Languages - General - Computers | Logic Design |
| Dewey: 005.131 |
| LCCN: 96026788 |
| Series: Eso Astrophysics Symposia |
| Physical Information: 0.92" H x 6.14" W x 9.21" (1.40 lbs) 440 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |