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: Paperback
• Language: English
• ISBN: 0521779200
• ISBN13: 9780521779203
• Release Date: August 1999
• Publisher: Cambridge University Press
• Length: 316 Pages
• Weight: 1.45 lbs.
• Dimensions: 0.7" x 6.7" x 9.5"