complete unification

1 definition found

complete unification - Free On-line Dictionary of Computing (26 May 2007) :

  complete unification
  
     <programming> W.P. Weijland's name for unification without
     occur check.
  
     (1996-01-11)