| slovo | definícia |
unifier
(encz) | unifier,sjednocovač n: Zdeněk Brož |
unifier
(encz) | unifier,unifikátor n: Zdeněk Brož |
Unifier
(gcide) | Unifier \U"ni*fi`er\, n.
One who, or that which, unifies; as, a natural law is a
unifier of phenomena.
[1913 Webster] |
unifier
(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)
|
| | podobné slovo | definícia |
Unifier
(gcide) | Unifier \U"ni*fi`er\, n.
One who, or that which, unifies; as, a natural law is a
unifier of phenomena.
[1913 Webster] |
most general unifier
(foldoc) | most general unifier
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)
|
|