complete unification
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, OneLook, Google
Loading