Term Rewriting Systems

Discover the intricate world of term rewriting systems with Term Rewriting Systems by Terese, published by Cambridge University Press in 2003. This seminal work spans an impressive 908 pages, making it an essential resource for both teaching and research. Terese expertly guides readers through the complexities of term rewriting systems, presenting material that has not been available in book form until now.

Whether you're a student or a professional, this book caters to all levels of expertise, from elementary concepts to advanced theories. It includes a wealth of exercises with selected solutions available online, ensuring that you have the tools to deepen your understanding. Additionally, you'll find an extensive bibliography and a dedicated chapter exploring practical applications of rewriting systems in computer science. Elevate your knowledge and skills in programming languages and mathematical theory with this comprehensive resource.