Term Rewriting Systems

By: No Information Available

Write A Review

Hardcover | 16 June 2003

At a Glance

Hardcover
908 Pages

Dimensions(cm)
27.94 x 21.59 x 4.78

Hardcover

RRP $406.00

$347.75

14%OFF

or 4 interest-free payments of $86.94 with

Ships in 5 to 7 business days

Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps where one term is replaced with another and have applications in many areas, from functional programming to automatic theorem proving and computer algebra. This 2003 book starts at an elementary level with the earlier chapters providing a foundation for the rest of the work. Much of the advanced material appeared here for the first time in book form. Subjects treated include orthogonality, termination, completion, lambda calculus, higher-order rewriting, infinitary rewriting and term graph rewriting. Many exercises are included with selected solutions provided on the web. A comprehensive bibliography makes this book ideal both for teaching and research. A chapter is included presenting applications of term rewriting systems, with many pointers to actual implementations.

Industry Reviews

'The book presents the state of the art of rewriting techniques, it gives (or scratches) proofs on a very precise level and gives hints to historical sources of the results and to further readings, so it is highly recommended to researchers working in this area.' Zentralblatt fur Mathematik '... has extensive material ... suffice it to say that this book is indispensable for a any serious student of rewriting.' Journal of TLP '... it will soon be a compulsory reference for anyone working in the area.' Journal of Functional Programming

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 $0.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 Mathematical Theory of Computation Computer Programming & Software Development Programming & Scripting Languages

Abstract reduction systems
First-order term rewriting systems
Examples of TRSs and special rewriting formats
Orthogonality
Properties of rewriting: decidability and modularity
Termination
Completion of equational specifications
Equivalence of reductions
Strategies
Lambda calculus
Higher order rewriting
Infinitary rewriting
Term graph rewriting
Advanced ARS theory
Rewriting based languages and systems
Mathematical background
Table of Contents provided by Publisher. All Rights Reserved.

Term Rewriting Systems

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

AI Engineering

Building Applications with Foundation Models

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Discrete Mathematics for Computing

Grassroots

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Effective Machine Learning Teams

Best Practices for ML Practitioners

Mining Complex Networks

Advances in Applied Mathematics

Mining Complex Networks

Advances in Applied Mathematics

Mathematical Foundations of Deep Learning

Theory and Algorithms

Nonlinear Analysis for Human Movement Variability

Mathematics for Artificial Intelligence

Textbooks in Mathematics

Mathematics for Artificial Intelligence

Textbooks in Mathematics

Introduction to Machine Learning Algorithms

Basic Principles and Mathematics

Introduction to Modern Cryptography

Revised Third Edition

Machine Learning Interviews

Kickstart Your Machine Learning Career

AI Value Creators

Beyond the Generative AI User Mindset

Quantum Computing Cloth

Foundations and Practice

Practical Nonconvex Nonsmooth Optimization

Why Don t Rabbits Rule The World?

Mathematical answers to life s key questions

Conditional Gradient Methods

From Core Principles to AI Applications

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

A Mathematical Introduction to Data Science with Python

Exploring Computational Geometry

Theory and Python Implementations

Rigorous Software Development

An Introduction to Program Verification

This product is categorised by