Found 1 hit - Term: most general unifier, Database: *, Strategy: prefix
- [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
Results 1 - 10 of 12 found about most general unifier: 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 Last accessed:2008/07/25 20:04:35 [Total processing time: 4 seconds] |