Term Rewriting and All That
This 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
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, ...
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 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, ...
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 ...
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/