VDict - Definition of partial ordering

search result for partial ordering in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

partial ordering complete partial ordering ordering total ordering relation induction partially ordered set cpo pre-order complete partial evaluation complete lattice Boolean algebra Language Of Temporal Ordering Specification well-ordered set partial key PDEL belief revision partial function sort powerdomain totally ordered set LOTOS domain theory totally ordered SETS invariant PRML PDELAN Partial Differential Equation LANguage lower set curried function FX-90 autoprojector application service provider SALEM incremental analysis token bus best first search PER permutation little-endian tick Scott domain binding-time analysis transitive General Recursion Theorem total function protocol boundedly complete -endian optimising compiler embedding wiggles specialisation symmetric coalesced sum algebraic reflexive function application constant folding LISP 2 equivalence relation partial equivalence relation Omega-algebraic refresh rate Recursive Functional Algorithmic Language higher-order macro antisymmetric Oz Java Message Service lifted domain date sleep multiple perspective software development chain version frogging Partial Response Maximum Likelihood Ox

First < Previous 1 2 Next > Last