Title: Advanced Topics in Term Rewriting
Description: "This text/reference offers a comprehensive and unified view of the subject that is suitable for all computer scientists, program designers, and software engineers who study and use term-rewriting techniques. Practitioners, researchers, and professionals will find the book an essential and authoritative resource and guide for the latest developments and results in the field."--BOOK JACKET.
Subjects: Rewriting systems (Computer science), Computer science