Term Rewriting and All That

Discover the fascinating world of term rewriting with "Term Rewriting and All That" by Franz Baader, published by Cambridge University Press in 1999. This comprehensive guide spans 316 pages, making it an ideal resource for advanced undergraduate courses and professionals alike. Baader seamlessly blends theory with practical application, offering both informal explanations and ML program implementations of key algorithms. With a wealth of examples and over 170 exercises included, readers will find numerous opportunities to deepen their understanding and application of the material. Whether you're looking to enhance your knowledge or serve as a reference for your studies, this book is an essential addition to your library. Explore the depths of term rewriting with a text that promises clarity and educational rigor.