Complete unification




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



< Previous Terms Terms Containing complete unification Next Terms >
complete lattice
complete metric space
completeness
complete partial ordering
complete theory
occurs check
Complex Instruction Set Computer
complexity
complexity analysis
complexity class
complexity measure