Advanced Topics in Term Rewriting
Publisher: Springer
Published: April 12, 2002
Language: eng
Number of pages: 432
ISBN-13: 9780387952505
First sentence: Equations were among the first mathematical achievements of mankind.
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.