Term Rewriting and All That

By Franz Baader, Tobias Nipkow, Franz Baader

Book Overview

This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0521455200
• ISBN13: 9780521455206
• Release Date: March 1998
• Publisher: Cambridge University Press
• Length: 313 Pages
• Weight: 1.75 lbs.
• Dimensions: 10.3" x 1.0" x 7.0"