complete unification

<programming>

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

Last updated: 1996-01-11

Nearby terms:

complete theorycomplete unificationComplex Instruction Set Computer

Try this search on Wikipedia, OneLook, Google


Loading