About this title: The book is intended for researchers, not only for those working in term rewriting, but it is also of interest for scientists working in areas like functional or logic programming, formal methods, automated reasoning, and symbolic computation, since term rewriting is also a fundamental concept in these areas. For example, Chapter 11 will ...
read more
Note: This is a general synopsis. Each listing is described below.
Binding: Hardcover
Publisher: Springer
Date Published: 2002
ISBN-13:9780387952505ISBN:0387952500
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
Edition: Illustrated.
Binding: Hardcover
Publisher: Springer
Date Published: 2002
ISBN-13:9780387952505ISBN:0387952500
Description: New. No dust jacket as issued. Sewn binding. Cloth over boards. 432 p. Contains: Illustrations. Audience: General/trade. Never Used Hardcover-No Marks or Highlights-Ships with Tracking # read more
Description: New in new dust jacket. Book in Fairly New condition. Ships via Regular Mail/ FedEx Courier, Please allow 5 to 6 business days for delivery. read more
Description: New in new dust jacket. Book in Fairly New condition. Ships via Regular Mail/ FedEx Courier, Please allow 5 to 6 business days for delivery. read more
Binding: Hardback
Publisher: KLUWER ACADEMIC PUBL
Date Published: 1997
ISBN-13:9780387952505ISBN:0387952500
Description: New. Term rewriting techniques are applicable to various fields of computer science, including software engineering, programming languages, computer algebra, program verification, automated theorem proving and Boolean algebra. These powerful techniques ca... read more
Description: 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 8-12 working days. Please do not select expedited shipping. Professional and reliable bookseller (est.1987). Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role. Throughout, the relationships between the properties in the hierarchies are reviewed, and it is shown ... read more
Description: 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 7-10 working days for UK delivery. Heavier or more expensive books are shipped with a TRACKING NUMBER. Professional and reliable bookseller (est.1987). Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role. Throughout, the relationships between ... 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.
