unifier
The unifier of a set of expressions is a set of substitutions of terms for variables such that the expressions are all equal. See also most general unifier, unification.Last updated: 1994-12-06
Nearby terms:
Unified Modeling Language ♦ unifier ♦ UNIFORM ♦ Uniform Naming Convention
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
