VDict - Definition of head normalisation theorem

search result for head normalisation theorem in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

head normalisation theorem Green's Theorem normal form Computational Adequacy Theorem four colour map theorem DeMorgan's theorem General Recursion Theorem Infinite Monkey Theorem Nyquist Theorem four colour theorem normalisation von Neumann ordinal Church-Rosser Theorem Carl Friedrich Gauss two-valued logic head-strict track database normalisation Codd's First Normal Form fourth normal form fifth normal form second normal form first normal form third normal form CEN AFNOR normalised 1NF unnormalised 5NF 4NF 3NF 2NF Isabelle Weak Head Normal Form repeating group boustrophedonic Nqthm Axiom of Choice QA4 LOP CONNIVER rotational latency winchester cylinder Sequel Brouwer Fixed-Point Theorem prime number theorem metalanguage Nyquist frequency type inference Nondeterministic Turing Machine CENELEC normal order reduction floating-point Banach inverse mapping theorem axiomatic set theory Head Normal Form PLANNER Qu-Prolog graph colouring hairy ball webmonkey deductive tableau chromatic number ill-behaved Ivan Sutherland norm bogo-sort De Bruijn notation sector interleave STREAMS complex number intuitionistic logic one-banana problem plotter magnetic disk disk drive eigenvector Cantor

First < Previous 1 2 Next > Last