Browse Dept. of Computer Science by Subject "generalization, anti-unification, equational reasoning, rewriting logic,"
Now showing items 1-1 of 1
(2011-07-28)Generalization, also called anti-unification, is the dual of unification. Given terms t and t', a generalization is a term t'' of which t and t' are substitution instances. The dual of a most general unifier (mgu) is that ...