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 substitution2, theorem prover, unification. |