Advanced Topics in Term Rewriting

Advanced Topics in Term Rewriting
Author :
Publisher : Springer Science & Business Media
Total Pages : 420
Release :
ISBN-10 : 9781475736618
ISBN-13 : 1475736614
Rating : 4/5 (614 Downloads)

Book Synopsis Advanced Topics in Term Rewriting by : Enno Ohlebusch

Download or read book Advanced Topics in Term Rewriting written by Enno Ohlebusch and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 420 pages. Available in PDF, EPUB and Kindle. Book excerpt: Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role. Throughout, the relationships between the properties in the hierarchies are reviewed, and it is shown that for every implication X => Y in the hierarchies, the property X is undecidable for all term rewriting systems satisfying Y. Topics covered include: the newest techniques for proving termination of rewrite systems; a comprehensive chapter on conditional term rewriting systems; a state-of-the-art survey of modularity in term rewriting, and a uniform framework for term and graph rewriting, as well as the first result on conditional graph rewriting.


Advanced Topics in Term Rewriting Related Books

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

GET 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 Systems
Language: en
Pages: 926
Authors: Terese
Categories: Computers
Type: BOOK - Published: 2003-03-20 - Publisher: Cambridge University Press

GET 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
Rewriting Techniques and Applications
Language: en
Pages: 322
Authors: Vincent van Oostrom
Categories: Mathematics
Type: BOOK - Published: 2004-05-24 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA 2004, held in Aachen, Germany
Rewriting Techniques and Applications
Language: en
Pages: 397
Authors: Sophie Tison
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denm
Rewriting Techniques and Applications
Language: en
Pages: 392
Authors: Sophie Tison
Categories: Computers
Type: BOOK - Published: 2002-07-10 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denm