Cookies on oxfam

We use cookies to ensure that you have the best experience on our website. If you continue browsing, we’ll assume that you are happy to receive all our cookies. You can change your cookie settings at any time. Find out more Accept

  • Grows vegetables
  • Fills classrooms
  • Drills wells
  • Empowers women
  • Fights poverty
  • Free Uk delivery on all gifts
    Or you can add a donation at checkout
  • Personalise your gift at checkout
    Add a personal message, ecard or card front
  • Add a 'Little Extra' at checkout
    Add-on gifts available (including chocolate!)

Feedback

Free returns

-

£3.95 UK delivery

-

All profits fight poverty

Keep up with Oxfam's Online Shop

Subscribe to our newsletter for all our latest updates, offers and promotions.

sign up to newsletter
© 2015. Oxfam is a registered charity in England and Wales (no 202918) and Scotland (SC039042). Oxfam GB is a member of Oxfam International.

Term rewriting and all that

£26.99

Product 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, Grbner 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.

Item details

Author(s):
Franz Baader
Condition:
Used: very good
Edition:
1998
Format:
Paperback
ISBN-10:
0521779200
ISBN-13:
9780521779203
Number of pages:
301
Publisher:
Cambridge University Press
Title:
Term rewriting and all that

Standard UK Delivery (£3.95 per order)

Delivery FAQs

Ts & Cs
Delivery FAQs

Free returns

within 28 days.
Returns policy

About this item

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, Grbner 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.

Author(s):
Franz Baader
Condition:
Used: very good
Edition:
1998
Format:
Paperback
ISBN-10:
0521779200
ISBN-13:
9780521779203
Number of pages:
301
Publisher:
Cambridge University Press
Title:
Term rewriting and all that

Delivery & returns

This item will be dispatched to UK addresses via second class post within 2 working days of receipt of your order. Standard UK delivery is £3.95 per order, so you're only charged once no matter how many items you have in your basket. Any additional courier charges will be applied at checkout as they vary depending on delivery address.

This item will be dispatched to UK addresses via second class post within 2 working days of receipt of your order. Standard UK delivery is currently free, no matter how many items you have in your basket. Any additional courier charges will be applied at checkout as they vary depending on delivery address.

You can find out more about delivery and returns in our help section.

We offer a no quibble returns policy as follows:

Wedding dresses: 28 days

Overseas returns: 31 days

Everything else: 28 days


This item is also available for international delivery by airmail, carrying a mandatory delivery charge of:

Europe: £8.00

Outside Europe: £15.00

Volunteer listed

Wonder how this unique item ended up online?

Most of the second-hand items you see online have been donated, by supporters like you, to our high street stores. Each item is then priced, photographed and listed on this site by our amazing team of volunteers from across the country.

After you have bought your item, our team of volunteers package and dispatch it from the Shop straight to you or your chosen recipient.

All profits from the sales of our goods go towards funding Oxfam's work around the world. We rely on your donations to sell online so please keep the cycle of goodness going!

To find out more about volunteering with Oxfam, please visit our how to volunteer page.

Oxfam Shop Burleigh Street

We are the largest in the family of four Oxfam Shops within the city. We offer our customers a vast selection of products, ranging from Fairtrade food, gifts, jewellery, greetings cards and eco-gadgets, women's, men's and children's clothing and accessories, books, homeware, furniture, music and movies. We also have a wide selection of bridal and eveningwear. We are situated close to the Grafton Shopping Centre, are open seven days a week, and have easy rear access to drop off donations, via East Road.

View Shop