# Browse Dept. of Computer Science by Subject "generalization, anti-unification, equational reasoning, rewriting logic,"

• (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 ...

application/pdf

PDF (696kB)