Computing in Horn Clause Theories by Peter Padawitz.
At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems. As these areas approach each other more and more, the strong distinctions between functi...
Full description
Saved in: