VDict - Definition of partial equivalence relation

search result for partial equivalence relation in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

equivalence relation partial equivalence relation equivalence class relation total ordering partial ordering PER transitive reflexive complete partial ordering real number strongly connected component logical relation partial evaluation pre-order ordering projective plane antisymmetric partial key complete lattice transitive closure PDEL Boolean algebra partial function constraint inductive relation difference equation equivalence class partitioning powerdomain observational equivalence extensional equality Calculus of Communicating Systems PRML PDELAN Partial Differential Equation LANguage partially ordered set lower set curried function FX-90 cpo autoprojector eta conversion SALEM incremental analysis Modula-3 Scott domain binding-time analysis General Recursion Theorem total function boundedly complete ALGOL 68 optimising compiler complete embedding wiggles specialisation Modula-2 Class-Relation Method algebraic function application constant folding LISP 2 Omega-algebraic Objecteering directed set foundation Recursive Functional Algorithmic Language higher-order macro biff Oz tuple calculus Procedural Language/SQL negation by failure incomparable PP96 functional dependency induction sleep multiple perspective software development upper bound

First < Previous 1 2 Next > Last