About this title: 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 ...
read more
Note: This is a general synopsis. Each listing is described below.
Binding: Paperback
Publisher: Springer
Date Published: 1996
ISBN-13:9783540614647ISBN:3540614648
Description: New. BRAND NEW and ready for dispatch. Delivery normally within 4/7 days. Our reputation is built on our Speedy Delivery Service and our Customer Service Team. read more
Binding: Paperback
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG Country = GERMANY
Date Published: 1996
ISBN-13:9783540614647ISBN:3540614648
Description: BRAND NEW PAPERBACK. 448 pages. This book is printed on demand (allow 1-2 weeks for printing) 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. part 7th (Paperback) read more
Binding: PAPERBACK
Publisher: Springer
Date Published: 1996
ISBN-13:9783540614647ISBN:3540614648
Description: New. 3540614648 Pub date: 1996. Condition: BRAND NEW. Still in shrink wrap. 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 1996 Proceedings. We are a tested and proven company with over 400, 000 satisfied customers since 1997. Choose expedited shippin. read more
Binding: Paperback
Publisher: Springer
Date Published: 2007
ISBN-13:9783540614647ISBN:3540614648
Description: New. 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. read more
Description: New. PLEASE NOTE: All books are promptly imported from the UK using DHL or Royal Mail international mail WITH TRACKING NUMBER. Print on demand title. D elivery is typically 5-10 working days. Please do not select expedited shipping. Professional and reliable bookseller (est.1987). read more
Binding: Paperback
Publisher: SPRINGER VERLAG GMBH
Date Published: 2007
ISBN-13:9783540614647ISBN:3540614648
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... read more
Description: New. PLEASE NOTE: All books are promptly shipped from our UK warehouse using Royal Mail or DHL. International Priority mail for non-UK deliveries. Print on demand title. Delivery is typically 3-5 working days for UK delivery. Heavier or more expensive books are shipped with a TRACKING NUMBER. Professional and reliable bookseller (est.1987). read more
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.