Call Boomerang Books 1300 36 33 32

Description - Term Rewriting and All That by Franz Baader

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 combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Grobner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises (solutions available from This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.

Buy Term Rewriting and All That by Franz Baader from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521779203
ISBN-10: 0521779200
Format: Paperback
(247mm x 174mm x 18mm)
Pages: 316
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 5-Aug-1999
Country of Publication: United Kingdom

Other Editions - Term Rewriting and All That by Franz Baader

Book Reviews - Term Rewriting and All That by Franz Baader

» Have you read this book? We'd like to know what you think about it - write a review about Term Rewriting and All That book by Franz Baader and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review

Books By Franz Baader

Introduction to Description Logic by Franz Baader
Hardback, April 2017
Description Logic Handbook by Franz Baader
Paperback, May 2010