You are here: irt.org | FOLDOC | 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.
(1994-12-06)
Nearby terms: unification « Unified Han « Unified Modeling Language « unifier » UNIFORM » Uniform Naming Convention » Uniform Resource Citation
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL