VDict - Definition of partial order

search result for partial order in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

partial ordering higher-order macro pre-order partial evaluation lower set powerdomain Scott domain boundedly complete complete partial ordering partial key traversal ordering embedding PDEL algebraic relation lazy evaluation Omega-algebraic partial function Oz induction Similix network byte order order-embedding ASCIIbetical order fully lazy lambda lifting HOL first-order logic union data flow analysis Hollerithabetical order Baudotbetical order Zuse LOP backing store stacking order reduction strategy PRML PDELAN parallel reduction Partial Differential Equation LANguage partially ordered set curried function first-order FX-90 cpo normal order reduction autoprojector abstract interpretation SALEM incremental analysis equational logic isomorphism PER TABLOG binding-time analysis transitive General Recursion Theorem total function Lambda Prolog mode total ordering client-server optimising compiler complete wiggles OBJ specialisation reflexive function application applicative order reduction constant folding Ironman LISP 2 equivalence relation partial equivalence relation BABEL reduction Recursive Functional Algorithmic Language Isabelle

First < Previous 1 2 3 4 5 Next > Last