[1] : The Free On-line Dictionary of Computing (27 SEP 03)

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
     
     
see also:
unifier unification 

General >> G Words
General, definition of term: General
general_pag1.html

General Practit >> G Words
General Practit, definition of term: General Practit
general+practit_pag1.html

General Manager >> G Words
General Manager, definition of term: General Manager
general+manager_pag1.html

General Protect >> G Words
General Protect, definition of term: General Protect
general+protect_pag1.html

General Public >> G Words
General Public, definition of term: General Public
general+public_pag1.html

General Ledger >> G Words
General Ledger, definition of term: General Ledger
general+ledger_pag1.html

General Court >> G Words
General Court, definition of term: General Court
general+court_pag1.html

General Electio >> G Words
General Electio, definition of term: General Electio
general+electio_pag1.html

General Assembl >> G Words
General Assembl, definition of term: General Assembl
general+assembl_pag1.html

Consul General >> C Words
Consul General, definition of term: Consul General
consul+general_pag1.html

Page 1 2 Next