By Letter: Non-alphabet | 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
  Email this page to a friend


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


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions