Cambridge Tracts in Theoretical Computer Science: Term Rewriting Systems Series Number 55 (Hardback)
  • Cambridge Tracts in Theoretical Computer Science: Term Rewriting Systems Series Number 55 (Hardback)
zoom

Cambridge Tracts in Theoretical Computer Science: Term Rewriting Systems Series Number 55 (Hardback)

(author)
£139.00
Hardback 908 Pages / Published: 20/03/2003
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Cambridge University Press
ISBN: 9780521391153
Number of pages: 908
Weight: 2360 g
Dimensions: 279 x 216 x 48 mm


MEDIA 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
"My recommendation is that anyone interested in rewriting needs this book." Frederic Loulergue for SIGACT News

You may also be interested in...

The Lattice Boltzmann Equation
Added to basket
Probability and Computing
Added to basket
The End of Error
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
The Elements of Statistical Learning
Added to basket
Discrete Mathematics
Added to basket
A First Course in Coding Theory
Added to basket
The Art of Computer Programming
Added to basket
Cryptanalysis
Added to basket
Bayesian Methods for Hackers
Added to basket
Data Analysis with Open Source Tools
Added to basket
Coding Theory
Added to basket
£44.99
Paperback
Numerical Recipes 3rd Edition
Added to basket
Sets, Logic and Maths for Computing
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.