Online Computer Dictionary
Browse words
|
Based on
FOLDOC
Queried for: most general unifier
Definition:
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.
Browse through top 20 categories or see more ...
- programming (659)
- application (76)
- networking (823)
- language (1034)
- operating_system (420)
- mathematics (228)
- graphics (155)
- compiler (21)
- library (41)
- World-Wide_Web (133)
- cryptography (36)
- database (166)
- algorithm (132)
- logic (61)
- software (72)
- audio (27)
- virtual_reality (10)
- communications (329)
- file system (28)
- filename_extension (25)