Language:
Free Online Dictionary|3Dict

most general unifier

Source : Free On-Line Dictionary of Computing

most general unifier
     
         If U is the most general {unifier} of a set of
        expressions then any other unifier, V, can be expressed as V =
        UW, where W is another substitution.
     
        See also {unification}.
     
        (2000-03-07)
Sort by alphabet : A B C D E F G H I J K L M N O P Q R S T U V W X Y Z