Term Rewriting and All That by Franz Baader
Look inside with Google Book Preview
Term Rewriting and All That
By Franz Baader

Term Rewriting and All That

By (author) See other recent books by Franz Baader See other recent books by Tobias Nipkow
Format: Paperback

Normal Price: $125.00
Your Price: $112.50 AUD, inc. GST
Shipping: $7.95 per order
You Save: $12.50! (10% off normal price)
Plus...earn $5.62 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply, Not for Xmas



Term Rewriting and All That by Franz Baader

Book Description

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. 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 book by Franz Baader from Australia's Online Bookstore, Boomerang Books.


Book Details

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

Other Editions...


Books By Author Franz Baader

Description Logic Handbook by Franz Baader Description Logic Handbook, Paperback (May 2010)

A unique reference in the field of knowledge representation, now available in paperback.

» View all books by Franz Baader

Reviews

» 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 member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Franz Baader close
Description Logic Handbook by Franz Baader
»
Recent books by Tobias Nipkow close
Isabelle/HOL by Tobias Nipkow
Term Rewriting and All That by Tobias Nipkow
»
BoomerangBooks.com.au close