Term Rewriting and All Thatby Franz Baader, Tobias Nipkow, Baader Franz
Pub. Date: 07/28/2006
Publisher: Cambridge University Press
Unified and self-contained introduction to term-rewriting; suited for students or professionals. See more details below
Unified and self-contained introduction to term-rewriting; suited for students or professionals.
- Cambridge University Press
- Publication date:
- Edition description:
- New Edition
- Product dimensions:
- 6.85(w) x 9.72(h) x 0.67(d)
Table of Contents
Preface; 1. Motivating examples; 2. Abstract reduction systems; 3. Universal algebra; 4. Equational problems; 5. Termination; 6. Confluence; 7. Completion; 8. Gröbner bases and Buchberger's algorithm; 9. Combination problems; 10. Equational unification; 11. Extensions; Appendix 1. Ordered sets; Appendix 2. A bluffer's guide to ML; Bibliography; Index.
and post it to your social network
Most Helpful Customer Reviews
See all customer reviews >