VDict - Definition of recursion theory

search result for recursion theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

recursion theory tail recursion optimisation tail recursion recursion theory mutual recursion conversion to iteration set theory Zermelo Frankel set theory belief revision complete theory Array Theory lattice Zermelo set theory tail recursion modulo cons domain theory axiomatic set theory denotational semantics Xy-pic CAYLEY ZFC Russell's Paradox pre-order decision theory embedding theory change bounded algebraic inclusive ideal pointed domain Axiom of Comprehension projection equational logic bondage-and-discipline language mutually recursive recurse TRO Unix conspiracy Stephen Kleene recursive Z satisfiability problem sum General Recursion Theorem Crystal coalesced sum UBASIC von Neumann ordinal Carl Friedrich Gauss domain Magma2 Isabelle structural recursion lifted domain Information Processing Language Fortran 90 SNOBOL4 Finite State Machine Id Nouveau last call optimisation cellular automaton iteration closure termination analysis tupling VAL 6.001 recursive type infinite loop fuzzy logic Intersil 6100 ZF expression ontology \perp axiom cybernetics monadic CTC automata theory

First < Previous 1 2 3 4 Next > Last