£48.39

Cambridge University Press Term Rewriting & All That

Price data last checked 86 day(s) ago - refreshing...

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.

£48 today · previous high £48 · all-time low £48

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 5 days • 5 data points (No recent data available)

Historical
Generating forecast...
£48.39 £47.76 £47.90 £48.04 £48.17 £48.31 £48.45 12 March 2026 13 March 2026 14 March 2026 15 March 2026 16 March 2026

Price Distribution

Price distribution over 5 days • 1 price levels

Days at Price
5 days 0 1 3 4 5 £48 Days at Price

Price Analysis

Most common price: £48 (5 days, 100.0%)

Price range: £48 - £48

Price levels: 1 different prices over 5 days

Description

This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
21 August 2008
Listed Since
03 January 2007

Barcode

No barcode data available

Similar Products You Might Like

Advanced Topics in Term Rewriting
96% match

Advanced Topics in Term Rewriting

Springer

£37.39 07 Mar 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
96% match

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Birkhauser

£46.53 13 Apr 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
96% 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
96% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£75.35 25 Feb 2026
Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution: 32 (Cambridge Tracts in Theoretical Computer Science, Series Number 32)
95% match

Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution: 32 (Cambridge Tracts in Theoretical Computer Science, Series Number 32)

Cambridge University Press

£41.99 20 Feb 2026
Constructive Models (Siberian School of Algebra and Logic)
95% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

£146.67 10 Mar 2026
Constructive Models (Siberian School of Algebra and Logic)
95% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

£146.43 17 Mar 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
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
95% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 22 Feb 2026
Turing Computability: Theory and Applications (Theory and Applications of Computability)
95% match

Turing Computability: Theory and Applications (Theory and Applications of Computability)

Springer

£46.10 25 Feb 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)
95% 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
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
95% match

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

CRC Press

£70.25 03 Mar 2026
Mathematics of Discrete Structures for Computer Science
95% match

Mathematics of Discrete Structures for Computer Science

Springer

£37.39 12 Mar 2026
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
95% match

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Springer

£26.57 01 Apr 2026
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
95% match

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Springer

£26.22 18 Apr 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
95% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£42.30 21 Feb 2026
Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)
95% match

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Cambridge University Press

£43.20 20 Feb 2026
Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings: 11715 (Lecture Notes in Computer Science, 11715)
95% match

Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings: 11715 (Lecture Notes in Computer Science, 11715)

Springer

£51.85 12 Mar 2026
Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)
95% match

Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)

Chapman and Hall/CRC

£85.97 23 Jan 2026
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
95% match

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

£94.38 12 Jan 2026
Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)
95% match

Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)

£90.85 13 Jan 2026
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
95% match

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Springer

£103.00 07 Mar 2026
Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)
95% match

Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)

£76.68 15 Dec 2025