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.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in

Brown, Ron
Burma
Kamehameha I
Kato Kiyomasa
Moscow
most general unifier
Nikolai Aleksandrovich Rozhkov
Nikolai Rozhkov
Oda Nobunaga
Rozhkov, Nikolai
Rozhkov, Nikolai Aleksandrovich
Trotskyism
unification
Vietnam
Wu Pei-fu

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.