complete unification
<programming> W.P. Weijland's name for unification without occur check.
Nearby terms:
completeness « complete partial ordering « complete theory « complete unification » Complex Instruction Set Computer » complexity » complexity analysis