VDict - Definition of complete unification

search result for complete unification in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

occurs check complete unification complete unification boundedly complete NP-complete HASL AI-complete complete lattice consistently complete Han character Scott domain complete partial ordering complete inference system exercise, left as an complete graph complete metric space Ceres workstation Oberon System subject unify Han Unification PHOCUS Fresh Quty negation by failure logic programming GAPLog SFLV QPE unifier narrowing most general unifier FUNLOG ISL Prolog-III Banach space TABLOG HiLog principal type Constraint Logic Programming wireless Constraint Handling In Prolog Interface Definition Language Extended Self-containing Prolog IDEAL bottom-up model TechRef cpo instantiation dinosaur pen Lolli logic variable OpenTransport completeness NPC XSB complete theory Parlog BinProlog bipartite graph Windows 3.0 SASL+LV store and forward function complete cppp Original Equipment Manufacturer embedding SCSI reconnect terpri loser bounded joe code DEC Wars lattice object code algebraic grovel Moore graph reliable communication Blue Box

First < Previous 1 2 3 Next > Last