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

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.