Rewriting Techniques and Applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings

by H. Ganzinger

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...

• Format: Paperback
• Language: English
• ISBN: B073V1VVLX
• ISBN13: 9783540614647
• Release Date: July 1996
• Publisher: Springer
• Weight: 3.00 lbs.
• Dimensions: 9.3" x 6.1" x 9.3"