Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of UNIFIER

 
Matching Terms:  unified, unified han, unified modeling language

Computing Dictionary
 
 Definition: 

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.

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY