Unifier










2 definitions retrieved

Dictionary

Unifier \U"ni*fi`er\, n.
One who, or that which, unifies; as, a natural law is a
unifier of phenomena.
[1913 Webster]
Dictionary

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)


Unifier related
Dictionary-X


Popular Words
Webster Dictionary, Online Dictionary, Spanish Dictionary, Medical Dictionary, Internet Dictonary, Web Dictionary, Dictionary Websters Online, Dream Dictionary, English - Spanish Dictionary, Urban Dictionary, Translate English To Spanish, Translate Germany,

Copyrights:
Gcide, Gazetteer, en-de, Devil's D., Freedict: GNU General Public License 2 or later
FOLDOC, VERA: GNU General Public License 1.1 or later
Moby-thesaurus, Jargon, Hitchcock, Bouvier, Elements, Easton: Public Domain
WordNet: Princeton University

Type your search term into the input field and press the 'Search' button!

Your link here for free? - Credit Cards