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

most general unifier

You are here: irt.org | FOLDOC | most general unifier

<logic> 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)

Nearby terms: Mosiac « MOS Technologies « MOS Technology « most general unifier » Most Significant Bit » motd » mother

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

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