complete unification

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

Last updated: 1996-01-11

Try this search on Wikipedia, OneLook, Google

Nearby terms:

completeness « complete partial ordering « complete theory « complete unification » Complex Instruction Set Computer » complexity » complexity analysis

Loading