Term Rewriting Systems

Term Rewriting Systems
Author :
Publisher : Cambridge University Press
Total Pages : 926
Release :
ISBN-10 : 0521391156
ISBN-13 : 9780521391153
Rating : 4/5 (153 Downloads)

Book Synopsis Term Rewriting Systems by : Terese

Download or read book Term Rewriting Systems written by Terese and published by Cambridge University Press. This book was released on 2003-03-20 with total page 926 pages. Available in PDF, EPUB and Kindle. Book excerpt: Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps where one term is replaced with another and have applications in many areas, from functional programming to automatic theorem proving and computer algebra. This 2003 book starts at an elementary level with the earlier chapters providing a foundation for the rest of the work. Much of the advanced material appeared here for the first time in book form. Subjects treated include orthogonality, termination, completion, lambda calculus, higher-order rewriting, infinitary rewriting and term graph rewriting. Many exercises are included with selected solutions provided on the web. A comprehensive bibliography makes this book ideal both for teaching and research. A chapter is included presenting applications of term rewriting systems, with many pointers to actual implementations.


Term Rewriting Systems Related Books

Term Rewriting Systems
Language: en
Pages: 926
Authors: Terese
Categories: Computers
Type: BOOK - Published: 2003-03-20 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete tran
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 All That
Language: en
Pages: 318
Authors: Franz Baader
Categories: Computers
Type: BOOK - Published: 1998 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Unified and self-contained introduction to term-rewriting; suited for students or professionals.
String-Rewriting Systems
Language: en
Pages: 198
Authors: Ronald V. Book
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early part of this
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