My Wish Lists Login / Join

Term Rewriting Systems

By: Jan Willem Klop, Roel de Vrijer, Terese

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 $89.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 Computer Programming & Software Development

Python Crash Course

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

Root cause

Stories and Lessons from Two Decades of Backend Engineering Bugs

Building Trustworthy Agentic AI Systems

Reliable Multi-Agent Systems with Java and Akka

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Real-Time Intelligence with Microsoft Fabric

Empowering Data-Driven Decisions in the Era of AI

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Schematron 2025

A Language for Validating XML

Building Trustworthy Agentic AI Systems

Reliable Multi-Agent Systems with Java and Akka

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Python All-in-One For Dummies

3rd Edition

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Swift

The Practical Guide

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

The C Programming Language

Prentice Hall Software

Make: Electronics

Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast

Large Language Models - The Hard Part

Open Source AI Solutions for Common Pitfalls

Arduino For Dummies

For Dummies (Computer/Tech)

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Microsoft 365 Excel VBA Programming For Dummies

For Dummies (Computer/Tech)

Fundamentals of Python

3rd Edition - First Programs

Computer Coding Python Games for Kids

DK Help Your Kids With

This product is categorised by