Advanced Topics in Term Rewriting

By: Enno Ohlebusch

Write A Review

Hardcover | 12 April 2002

At a Glance

Hardcover
436 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Hardcover

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

Term rewriting techniques are applicable to various fields of computer science, including software engineering, programming languages, computer algebra, program verification, automated theorem proving and Boolean algebra. These powerful techniques can be successfully applied in all areas that demand efficient methods for reasoning with equations. One of the major problems encountered is the characterization of classes of rewrite systems that have a desirable property, like confluence or termination. In a system that is both terminating and confluent, every computation leads to a result that is unique, regardless of the order in which the rewrite rules are applied. This volume provides a comprehensive and unified presentation of termination and confluence, as well as related properties. Topics and features: *unified presentation and notation for important advanced topics *comprehensive coverage of conditional term-rewriting systems *state-of-the-art survey of modularity in term rewriting *presentation of unified framework for term and graph rewriting *up-to-date discussion of transformational methods for proving termination of logic programs, including the TALP system This unique book offers a comprehensive and unified view of the subject that is suitable for all computer scientists, program designers, and software engineers who study and use term rewriting techniques. Practitioners, researchers and professionals will find the book an essential and authoritative resource and guide for the latest developments and results in the field.

Industry Reviews

From the reviews:

"The book Advanced Topics in Term Rewriting (ATITR) begins with an Abstract Reduction System ARS. ... there are not many textbooks written in English on term rewriting. ... if you like mathematics, already know the basics of term rewriting and you are a researcher or a postgraduate then this book is definitely recommended." (Nimish Shah, Journal of Functional Programming, Vol. 16 (2), 2006)

"A well-written overview of recent research with many references to the literature, and hence has clearly an added value over a collection of papers. ... contains a pleasant surprise in the form of a chapter on termination of logic programs. ... it can be very well used for a seminar for advanced students who already know the basics of term rewriting. ... it is written in a clear and rigorous way. ... I very much recommend the book for researchers and advanced students ... ." (Femke van Raamsdonk, Theory and Practice of Logic Programming, Vol. 4 (4), 2004)

"The book starts with some motivating examples of Term Rewriting Systems (TRSs) (e.g. 'coffee can problem'). ... There are other books on TRSs but these are in fact introductory textbooks whereas Ohlebusch's book covers several important fields in term rewriting that go beyond the scope of an introductory book - especially fields to which the author himself made essential contributions. In this way this monograph is an outstanding one, suitable for all Computer scientists who study and use term rewriting." (A. Widiger, Zentralblatt MATH, Vol. 999 (24), 2002)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Programming & Scripting Languages Mathematics Mathematical Foundation Mathematical Logic Systems Analysis & Design

Preface
Motivation	p. 1
Abstract Reduction Systems	p. 7
Term Rewriting Systems	p. 37
Confluence	p. 45
Termination	p. 57
Relative Undecidability	p. 127
Conditional Rewrite Systems	p. 179
Modularity	p. 243
Graph Rewriting	p. 325
Proving Termination of Logic Programs	p. 351
Kruskal's Theorem	p. 379
References	p. 385
Index	p. 407
Table of Contents provided by Blackwell. All Rights Reserved.

Advanced Topics in Term Rewriting

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Autonomous

Why the Fittest Businesses Embrace AI-First Strategies and Digital Labor

Genesis

Artificial Intelligence, Hope, and the Human Spirit

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Creative Machines

AI, Art & Us

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Dr. Bot

Why Human Doctors Fail Us and How AI Can Save Lives

AI Engineering

Building Applications with Foundation Models

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

The Coming Wave

AI, Power and Our Future

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Co-Intelligence

Living and Working with AI

Windows 11 For Dummies, 2nd Edition

Windows 11 For Dummies

Generative AI

Unlocking the Next Chapter in Healthcare

Machine Learning in Protein Science

Efficient Prediction of Protein Structures and Properties

Business Transformation and Digital Innovation in the Service Sector

Technology Developments in Computer Intelligence and their Applications in the era of Industry 5.0

Smart Technologies for Engineers and Scientists

Generative AI

Unlocking the Next Chapter in Healthcare

AI and ML-Driven Cybersecurity

Industrial IoT and WSN with Python Scripting

Critiquing Generative AI in Africa's Media Ecosystems

Routledge African Media, Culture and Communication Studies

This product is categorised by