VDict - Definition of partial orders

search result for partial orders in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

reflexive antisymmetric partial ordering transitive partial evaluation complete partial ordering partial key PDEL partial function powerdomain PDELAN PRML Partial Differential Equation LANguage partially ordered set lower set curried function FX-90 cpo autoprojector id Software SALEM CLEO incremental analysis PER middle-endian Scott domain binding-time analysis General Recursion Theorem total function total ordering boundedly complete network database pre-order optimising compiler ordering complete embedding wiggles specialisation Indexed Sequential Access Method algebraic function application constant folding LISP 2 equivalence relation partial equivalence relation relation Omega-algebraic Recursive Functional Algorithmic Language higher-order macro Oz complete lattice Tower Technology Corporation induction sleep multiple perspective software development superprogrammer version frogging Partial Response Maximum Likelihood function Similix instruction scheduling fully lazy lambda lifting Enterprise Resource Planning category union eigenvector type inference Zuse Material Requirements Planning MOS Technologies Rhapsody lazy evaluation database normalisation abstract interpretation Boolean algebra relational database fuzzy logic interpreter

First < Previous 1 2 Next > Last