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

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: 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
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
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.
Term Rewriting and Applications
Language: en
Pages: 426
Authors: Frank Pfenning
Categories: Computers
Type: BOOK - Published: 2006-07-26 - Publisher: Springer

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