£187.89

Cambridge University Press Term Rewriting Systems: 55 (Cambridge Tracts in Theoretical Computer Science, Series Number 55)

Price data last checked 20 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£188 today · previous high £188 · all-time low £169

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 71 days • 71 data points (No recent data available)

Historical
Generating forecast...
£187.89 £167.10 £171.64 £176.17 £180.71 £185.24 £189.78 22 February 2026 11 March 2026 29 March 2026 15 April 2026 03 May 2026

Price Distribution

Price distribution over 71 days • 4 price levels

Days at Price
Current Price
4 days 24 days 1 day 42 days · current 0 11 21 32 42 £169 £171 £177 £188 Days at Price

Price Analysis

Most common price: £188 (42 days, 59.2%)

Price range: £169 - £188

Price levels: 4 different prices over 71 days

Description

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.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
20 March 2003
Listed Since
22 January 2007

Barcode

No barcode data available

Similar Products You Might Like

Term Rewriting & All That
97% match

Term Rewriting & All That

Cambridge University Press

£48.39 16 Mar 2026
Advanced Topics in Term Rewriting
96% match

Advanced Topics in Term Rewriting

Springer

£37.39 07 Mar 2026
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings: 968 (Lecture Notes in Computer Science, 968)
96% match

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings: 968 (Lecture Notes in Computer Science, 968)

Springer

£38.48 07 Jan 2026
String-Rewriting Systems (Monographs in Computer Science)
96% match

String-Rewriting Systems (Monographs in Computer Science)

Springer

£39.73 08 May 2026
Reflections on the Work of C.A.R. Hoare
95% match

Reflections on the Work of C.A.R. Hoare

Springer

£107.73 12 Apr 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
95% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£133.00 01 Apr 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
95% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£75.35 25 Feb 2026
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)
95% match

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)

Cambridge University Press

£97.00 27 Apr 2026
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday: 3838 (Lecture Notes in Computer Science, 3838)
95% match

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday: 3838 (Lecture Notes in Computer Science, 3838)

Springer

£59.86 10 May 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
95% match

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Springer

£48.61 21 Feb 2026
Mathematics in Programming
95% match

Mathematics in Programming

Springer

£49.90 15 Feb 2026
Transitions and Trees: An Introduction to Structural Operational Semantics
95% match

Transitions and Trees: An Introduction to Structural Operational Semantics

Cambridge University Press

£81.59 25 Feb 2026
Handbook Of Graph Grammars And Computing By Graph Transformation - Volume 2: Applications, Languages And Tools
95% match

Handbook Of Graph Grammars And Computing By Graph Transformation - Volume 2: Applications, Languages And Tools

Scientific Publishing

£265.25 23 Jan 2026
Cambridge Two-Level Functional Languages - Series 34 Book
95% match

Cambridge Two-Level Functional Languages - Series 34 Book

Cambridge University Press

£73.62 12 May 2026
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
95% match

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Springer

£113.25 12 Apr 2026
Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application
95% match

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application

Springer

£173.91 14 Jan 2026
Formal Language: A Practical Introduction
95% match

Formal Language: A Practical Introduction

Franklin Beedle & Associates

£55.00 16 Feb 2026
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)
95% match

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Springer

£59.97 08 Mar 2026
Transitions and Trees: An Introduction to Structural Operational Semantics
95% match

Transitions and Trees: An Introduction to Structural Operational Semantics

Cambridge University Press

£43.63 29 Jan 2026
Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
95% match

Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

Cambridge University Press

£49.25 21 Feb 2026
Essentials of Programming Languages 3e (OIP) (The MIT Press)
95% match

Essentials of Programming Languages 3e (OIP) (The MIT Press)

MIT Press

£70.00 25 Jan 2026
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
95% match

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Springer

£32.70 03 May 2026
Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)
95% match

Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)

Springer

£40.84 07 Mar 2026
Introduction to the Theory of Computation
95% match

Introduction to the Theory of Computation

Course Technology

£59.08 16 Mar 2026