browse words by letter
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
unifier |
2 definitions found From Webster's Revised Unabridged Dictionary (1913) [web1913]: Unifier \U"ni*fi`er\, n. One who or that which unifies; as a natural law is a unifier of phenomena. From The Free On-line Dictionary of Computing (13 Mar 01) [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)
This work is licensed under a
