English Wikipedia has an article on: <span class="searchmatch">recursion</span> <span class="searchmatch">theory</span> Wikipedia <span class="searchmatch">recursion</span> <span class="searchmatch">theory</span> (uncountable) (logic) A branch of mathematical logic studying computable...
computability <span class="searchmatch">theory</span> Wikipedia computability <span class="searchmatch">theory</span> (uncountable) (logic) <span class="searchmatch">Recursion</span> <span class="searchmatch">theory</span>. (computer science) The branch of the <span class="searchmatch">theory</span> of computation...
binary <span class="searchmatch">recursion</span>. infinite <span class="searchmatch">recursion</span> Kleene's <span class="searchmatch">recursion</span> theorem left <span class="searchmatch">recursion</span> minimal <span class="searchmatch">recursion</span> semantics primitive <span class="searchmatch">recursion</span> <span class="searchmatch">recursion</span> <span class="searchmatch">theory</span> tail recursion...
Rekursionstheorie f (genitive Rekursionstheorie, plural Rekursionstheorien) <span class="searchmatch">recursion</span> <span class="searchmatch">theory</span> Synonym: Berechenbarkeitstheorie Declension of Rekursionstheorie [feminine]...
primitive <span class="searchmatch">recursion</span> (countable and uncountable, plural primitive <span class="searchmatch">recursions</span>) (computing <span class="searchmatch">theory</span>) <span class="searchmatch">Recursion</span> to a fixed depth. (computing <span class="searchmatch">theory</span>) The operator...
quark <span class="searchmatch">theory</span> queer <span class="searchmatch">theory</span> queueing <span class="searchmatch">theory</span> r/K selection <span class="searchmatch">theory</span> Ramsey <span class="searchmatch">theory</span> rational choice <span class="searchmatch">theory</span> recapitulation <span class="searchmatch">theory</span> <span class="searchmatch">recursion</span> <span class="searchmatch">theory</span> Regge <span class="searchmatch">theory</span> renewal...
mathematician Stephen Cole Kleene. Kleene's <span class="searchmatch">recursion</span> theorem (plural Kleene's <span class="searchmatch">recursion</span> theorems) (computing <span class="searchmatch">theory</span>) Either of are a pair of fundamental results...
Kleene. Kleene's theorem (computing <span class="searchmatch">theory</span>) A theorem stating that regular expressions are equivalent to finite-state machines. Kleene's <span class="searchmatch">recursion</span> theorem...
Continuum Hypothesis”, in John N. Crossley, editor, Sets, Models, and <span class="searchmatch">Recursion</span> <span class="searchmatch">Theory</span>, North-Holland, page 7: Gödel's model is an example of a simple type...
Springer, LNCS 8301, page 349, We show how Modified Bar-<span class="searchmatch">Recursion</span>, a variant of Spector's Bar-<span class="searchmatch">Recursion</span> due to Berger and Oliva can be used to realize the...