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
Conditional Term Rewriting Systems
Language: en
Pages: 129
Authors: J. L. Rémy
Categories:
Type: BOOK - Published: 1994 - Publisher:

GET EBOOK

Conditional Term Rewriting Systems
Language: en
Pages: 520
Authors: Michael Rusinowitch
Categories:
Type: BOOK - Published: 2014-01-15 - Publisher:

GET EBOOK

Conditional Term Rewriting Systems
Language: en
Pages: 520
Authors: Michael Rusinowitch
Categories: Computers
Type: BOOK - Published: 1993-01-29 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the papers preesented at the Third International Workshop on Conditional Term Rewriting Systems, held in Pont- -Mousson, France, July 8-10,