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.



< Previous Terms Terms Containing most general unifier Next Terms >
Mosaic Communications Corporation
Moscow ML
MOSFET
Mosiac
MOS Technologies
 unification
unifier
 Most Significant Bit
motd
mother
motherboard
Motif