# Complete unification

<programming> W.P. Weijland's name for unification without occur check.

< Previous Terms |
Terms Containing complete unification |
Next Terms > |

complete lattice complete metric space completeness complete partial ordering complete theory |
occurs check |
Complex Instruction Set Computer complexity complexity analysis complexity class complexity measure |