Term rewriting systems
An introduction to the theory of term rewriting systems. This is a technique used in computer science, especially functional programming, for abstract data type specification and automatic theorem-proving
Tištěná kniha, English, 2003
Cambridge University Press, Cambridge, UK, 2003