VDict - Definition of most general unifier

search result for most general unifier in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

most general unifier unifier unification IDS/I GNU public licence Data General mN601 General Protection Fault General Protection Failure GCL copyleft GPL General Purpose Macro-generator generic type variable General Public License GASP General Purpose Graphic Language DG/L General Electric bondage-and-discipline language GNU General Public License General Public Licence toy language SHEEP palmtop g file SB AWE32 San Francisco IBM 360 General Public Virus Software in the Public Interest, Inc.Nova General Electric Comprehensive Operating System STENSOR GEN-X GPRS OMTool GOL GBIP General Purpose Interface Bus GPM GPF GPV MICRO SAINT CMS-2 Christopher Strachey IEEE 488 Free Software Foundation Manufacturing Automation Protocol PL/I Subset G ORTHOCARTAN computer law IMPlementation language GE Data General IBM 1710 General Activities Simulation Program For Your Information baseband memory International Smalltalk Association GLASS Concurrent Constraint Programming GRAAL PL/Seq Leo General Purpose Language General Recursion Theorem SIMSCRIPT Forsythe General Aerodynamic Simulation Program workstation architecture ALAM CLAM Knights of the Lambda-Calculus SUPERMAC wart content-based information retrieval TRANS Scratchpad I

First < Previous 1 2 3 4 Next > Last