Author:Murat Sinan Aygün

Keyphrases

(higher-order) equational unification, decidability, lambda calculus, logic, logic programming, non-determinism, nondeterminism, Recursive specifications, term rewriting, The most general substitution², theorem prover, unification.