by Enno Ohlebusch
The book is intended for researchers, not only for those working in term rewriting, but it is also of interest for scientists working in areas like functional or logic programming, formal methods,…