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
|