Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


You are here: irt.org | 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.


Nearby terms: unification « Unified Han « Unified Modeling Language « unifier » UNIFORM » Uniform Naming Convention » Uniform Resource Citation

FOLDOC, Topics, 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, ?, ALL

©2018 Martin Webb