Advanced Topics in Term Rewriting

 HC runder Rücken kaschiert
Print on Demand | Lieferzeit: Lieferbar innerhalb von 3-5 Werktagen I

81,97 €*

Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9780387952505
Einband:
HC runder Rücken kaschiert
Erscheinungsdatum:
12.04.2002
Seiten:
436
Autor:
Enno Ohlebusch
Gewicht:
816 g
Format:
241x160x27 mm
Sprache:
Englisch
Beschreibung:

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.
New advanced text/reference book on term rewriting theory and application. Essential, state-of-the-art reference for computer scientists and advanced graduates working in field of computational logic programming.
* Motivation * Abstract Reduction Systems * Term Rewriting Systems * Confluence * Termination * Relative Undecidability * Conditional Rewrite Systems * Modularity * Graph Rewriting * Termination of Logic Programs * Appendix-Kruskal's Theorem
First book on advanced topics in term rewriting Covers the newest techniques for proving termination of rewrite systems Contains a comprehensive chapter on conditional term rewriting systems Contains a state-of-the-art survey of modularity in term rewriting Presents a uniform framework for term and graph rewriting, as well as the first result on conditional graph rewriting.

Kunden Rezensionen

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.

Google Plus
Powered by Inooga