274621
9780387952505
This book is intended for researchers, not only for those working in term rewriting, but also for scientists working in areas such as functional or logic programming, formal methods, automated reasoning, and symbolic computation.Ohlebusch, Enno is the author of 'Advanced Topics in Term Rewriting' with ISBN 9780387952505 and ISBN 0387952500.
[read more]