Scan barcode
316 pages • first pub 1998 (editions)
ISBN/UID: 9780521779203
Format: Paperback
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic material--abstract reduction systems, termination, confluence, completion, and combination problems--but also some im...
Community Reviews
Content Warnings
316 pages • first pub 1998 (editions)
ISBN/UID: 9780521779203
Format: Paperback
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic material--abstract reduction systems, termination, confluence, completion, and combination problems--but also some im...