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.



< Previous Terms Terms Containing unifier Next Terms >
unicos
Uniface
unification
Unified Han
Unified Modeling Language
most general unifier
unification
unifier
UNIFORM
Uniform Naming Convention
Uniform Resource Citation
Uniform Resource Locater
Uniform Resource Locator