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 |
