Term Rewriting and All That |
|
| Author:
| Baader, Franz
Nipkow, Tobias |
| ISBN: | 978-1-139-17275-2 |
| Publication Date: | Jun 2012 |
| Publisher: | Cambridge University Press
|
| Book Format: | Digital (delivered electronically) |
| List Price: | USD $225.00 |
Book Description:
|
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.
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.