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
Intelligent Techniques for Planning
Language: en
Pages: 392
Authors: Ioannis Vlahavas
Categories: Business & Economics
Type: BOOK - Published: 2005-01-01 - Publisher: IGI Global

GET EBOOK

The Intelligent Techniques for Planning presents a number of modern approaches to the area of automated planning. These approaches combine methods from classica
Term Rewriting and All That
Language: en
Pages: 318
Authors: Franz Baader
Categories: Computers
Type: BOOK - Published: 1999-08-05 - Publisher: Cambridge University Press

GET 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
A Product-line for Families of Program Translators
Language: en
Pages: 189
Authors: Diego Antonio Ordóñez Camacho
Categories: Science
Type: BOOK - Published: 2010-08 - Publisher: Presses univ. de Louvain

GET EBOOK

In this thesis, a product-line approach provides the support for a reusable translator framework; a grammar convergence reverse-engineering approach enables to
Typed Lambda Calculi and Applications
Language: en
Pages: 405
Authors: Simona Ronchi Della Rocca
Categories: Mathematics
Type: BOOK - Published: 2007-07-11 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France in