You are here: irt.org | FOLDOC | complete unification
<programming> W.P. Weijland's name for unification without occur check.
(1996-01-11)
Nearby terms: completeness « complete partial ordering « complete theory « complete unification » Complex Instruction Set Computer » complexity » complexity analysis
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