Term Rewriting and All That
Franz (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany) Baader, Tobias (Technische Universitat Munchen) Nipkow
Cambridge University Press, 1999
89,95 €On orderDelivery: 2-3 weeks
This is a unified and self-contained introduction to term rewriting that can be used for advanced undergraduate courses or as a professional reference. The main algorithms are presented both informally and as ML programs. Many examples and over 170 exercises are provided.
- ISBN-13
- 9780521779203
- ISBN-10
- 0521779200
- Publisher
- Cambridge University Press
- Year
- 1999
- Publication date
- 1999-08-05
- Pages
- 316
- Dimensions
- 244x170x18
- Weight
- 556