Term Rewriting and All That

Term Rewriting and All That
Author :
Publisher : Cambridge University Press
Total Pages : 444
Release :
ISBN-10 : 9781316101797
ISBN-13 : 1316101797
Rating : 4/5 (97 Downloads)

Book Synopsis Term Rewriting and All That by : Franz Baader

Download or read book Term Rewriting and All That written by Franz Baader and published by Cambridge University Press. This book was released on 1999-08-05 with total page 444 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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, Gröbner 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.


Term Rewriting and All That Related Books

Term Rewriting and All That
Language: en
Pages: 444
Authors: Franz Baader
Categories: Computers
Type: BOOK - Published: 1999-08-05 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, ter
Advanced Topics in Term Rewriting
Language: en
Pages: 420
Authors: Enno Ohlebusch
Categories: Computers
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role. Throughout, the relationships between t
Term Rewriting and Applications
Language: en
Pages: 426
Authors: Frank Pfenning
Categories: Computers
Type: BOOK - Published: 2006-07-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA
Term Rewriting and Applications
Language: en
Pages: 528
Authors: Jürgen Giesl
Categories: Computers
Type: BOOK - Published: 2005-04-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International Conference on Rewriting Techniques and Applications, RTA 2005, held in Nara, Japan in A
Term Rewriting and Applications
Language: en
Pages: 430
Authors: Franz Baader
Categories: Computers
Type: BOOK - Published: 2007-06-21 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering