VDict - Definition of General Recursion Theorem

search result for General Recursion Theorem in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

General Recursion Theorem Green's Theorem tail recursion optimisation tail recursion recursion four colour map theorem DeMorgan's theorem mutual recursion two-valued logic conversion to iteration head normalisation theorem Infinite Monkey Theorem Nyquist Theorem four colour theorem Axiom of Choice tail recursion modulo cons Computational Adequacy Theorem von Neumann ordinal Church-Rosser Theorem intuitionistic logic Intersil 6100 Carl Friedrich Gauss Ponder IDS/I GNU public licence General Protection Fault Data General mN601 General Protection Failure GCL TRO recurse mutually recursive SISAL copyleft GPL General Purpose Macro-generator most general unifier generic type variable General Public License recursive GASP recursion theory General Purpose Graphic Language Isabelle DG/L Crystal General Electric bondage-and-discipline language GNU General Public License General Public Licence toy language Nqthm Magma2 QA4 LOP SHEEP CONNIVER structural recursion palmtop g file Information Processing Language Sequel Brouwer Fixed-Point Theorem Fortran 90 prime number theorem SB AWE32 metalanguage San Francisco SNOBOL4 IBM 360 Nyquist frequency normal order reduction Id Nouveau General Public Virus Banach inverse mapping theorem last call optimisation axiomatic set theory PLANNER iteration Qu-Prolog

First < Previous 1 2 3 4 5 Next > Last