## Term Rewriting and All ThatThis textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover 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. They present the main algorithms both informally and as programs in the functional language Standard ML (An appendix contains a quick and easy introduction to ML). Key chapters cover crucial algorithms such as unification and congruence closure in more depth and develop efficient Pascal programs. The book contains many examples and over 170 exercises. This is also an ideal reference book for professional researchers: results spread over many conference and journal articles are collected here in a unified notation, detailed proofs of almost all theorems are provided, and each chapter closes with a guide to the literature. |

### What people are saying - Write a review

### Related books

Rewriting Techniques and Applications: 8th International ..., Volume 8 Hubert Comon No preview available - 1997 |

### Contents

II | 1 |

III | 7 |

IV | 13 |

V | 16 |

VI | 18 |

VII | 21 |

VIII | 26 |

IX | 28 |

XXXVI | 160 |

XXXVII | 164 |

XXXVIII | 172 |

XXXIX | 178 |

XL | 182 |

XLI | 184 |

XLII | 187 |

XLIII | 189 |

X | 33 |

XI | 34 |

XII | 47 |

XIII | 49 |

XV | 58 |

XVI | 59 |

XVII | 61 |

XVIII | 62 |

XIX | 65 |

XX | 71 |

XXI | 73 |

XXII | 79 |

XXIII | 82 |

XXIV | 91 |

XXV | 93 |

XXVI | 101 |

XXVII | 104 |

XXVIII | 111 |

XXIX | 131 |

XXX | 134 |

XXXI | 135 |

XXXII | 145 |

XXXIII | 151 |

XXXIV | 157 |

XXXV | 158 |

### Other editions - View all

### Common terms and phrases

### References from web pages

Term rewriting and all that - Software, IEE Proceedings- [see also **...**

and. all. that. by F. Baader and T. Nipkow. Cambridge University Press, 1998,301. +. xii pages,. ISBN. 0 521 45520 0, ...

ieeexplore.ieee.org/ iel4/ 5658/ 15162/ 00689298.pdf?arnumber=689298

Term Rewriting and All That by Franz Baader and Tobias Nipkow **...**

Term Rewriting and All That by Franz Baader and Tobias Nipkow,. Cambridge University Press, 1998, ISBN 0-521-45520-0 (hardback), 301pp. ...

journals.cambridge.org/ production/ action/ cjoGetFulltext?fulltextid=72738

concurrency: llelism The Optimal Implementation of tmctional **...**

Term Rewriting and All That. is written by Franz Baader. and Tobias Nipkow, and published by Cambridge University. Press, 1998 (paperback), 0-521-77920-0, ...

portal.acm.org/ citation.cfm?doid=505863.505888

Term Rewriting and All That

Term Rewriting and All That. Franz Baader and Tobias Nipkow. This is the first English language textbook offering a unified and self-contained introduction ...

www4.informatik.tu-muenchen.de/ ~nipkow/ TRaAT/

Term Rewriting

Term Rewriting and All That [Baader, Nipkow]. Table of contents:. Preface. 1 Motivating Examples. 2 Abstract Reduction Systems ...

tele.informatik.uni-freiburg.de/ Teaching/ ss02/ TR/ index.html

Confluence (term rewriting) - Wikipedia, the free encyclopedia

Term Rewriting Systems, Terese, Cambridge Tracts in Theoretical Computer Science, 2003; Term Rewriting and All That, Franz Baader and Tobias Nipkow, ...

en.wikipedia.org/ wiki/ Confluence_(term_rewriting)

Term rewriting system for code generation, and its termination **...**

[Baader] Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, 1998. [Huang] Huang, ts: Two-Dimensional Signal Processing II: ...

okmij.org/ ftp/ Scheme/ PostL-paper.html

JSTOR: Term Rewriting Systems

The are two other recent English books on term rewriting: a textbook (F. Baader and T. Nipkow, Term rewriting and all that, Cambridge University Press, ...

links.jstor.org/ sici?sici=1079-8986(200406)10%3A2%3C223%3ATRS%3E2.0.CO%3B2-Q

Descendants and Origins in Term Rewriting (researchindex)

353 Term rewriting and all that (context) - Baader, Nipkow - 1998 ACM 259 Combinatory Logic (context) - Curry, Feys - 1958 ...

citeseer.ist.psu.edu/ bethke99descendants.html

Theory and Practice of Formal Proofs

27/11: Sections 3.1, 4.1-4.2, and 4.5-4.6 in Term Rewriting and All That . ... Term Rewriting and All That . Cambridge University Press, 1998. ...

www.diku.dk/ undervisning/ 2000e/ e00.202/