You are here: irt.org | FOLDOC | most general unifier
<logic> If U is the most general unifier of a set of expressions then any other unifier, V, can be expressed as V = UW, where W is another substitution.
See also unification.
(2000-03-07)
Nearby terms: Mosiac « MOS Technologies « MOS Technology « most general unifier » Most Significant Bit » motd » mother
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