 |
Advanced Topics In Term Rewriting
Author: Ohlebusch, Enno
Hardback; Book 435 pages Published: May 2002 Springer-Verlag New York Inc.
ISBN: 0387952500
Aimed at researchers and scientists working in areas such as functional or logic programming, formal methods, automated reasoning and symbolic computation, since term rewriting is also a fundamental concept in these areas.

|