complete unification

<programming>

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

Last updated: 1996-01-11

Nearby terms:

complete theory ♦ complete unification ♦ Complex Instruction Set Computer

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading