Recursion

Bar recursion and functionals of finite type / Marcus Aloysius Bezemschema:ProductModel Classical and new paradigms of computation and their complexity hierarchies : papers of the conference "Foundations of the Formal Sciences III / edited by Benedikt Löwe, Boris Piwinger and Thoralf Räschschema:ProductModel Classical and new paradigms of computation and their complexity hierarchies : papers of the conference "Foundations of the Formal Sciences III / edited by Benedikt Löwe, Boris Piwinger and Thoralf Räschschema:ProductModel Classical recursion theory / P.G. Odifreddischema:ProductModel Classical recursion theory / P.G. Odifreddischema:ProductModel Classical recursion theory / P.G. Odifreddischema:ProductModel Classical recursion theory / P.G. Odifreddischema:ProductModel Classical recursion theory / P.G. Odifreddischema:ProductModel Computability and measure / Sebastiaan Augustinus Terwijnschema:ProductModel Computing compound distributions faster! / P.W. den Iseger, M.A.J. Smith, R. Dekkerschema:ProductModel Foundational studies : selected works / Andrzej Mostowski ; editorialcommittee Kazimierz Kuratowski (chairman) ... [et al.]schema:ProductModel Fundamentals of generalized recursion theory / Melvin Fittingschema:ProductModel Generalized recursion theory : proceedings of the 1972 Oslo symposium / ed. by J. E. Fenstad and P. G. Hinmanschema:ProductModel Inductive datatypes with laws and subtyping : a relational model / Theodorus Sebastiaan Voermansschema:ProductModel Interpretability formalized / Joost Johannes Joostenschema:ProductModel Law and order in algorithmics / Martinus Maria Fokkingaschema:ProductModel Neural relaxation dynamics : mathematics and physics of recurrent neural networks with applications in the field of combinatorial optimization / Jan van den Bergschema:ProductModel On the recursion method in condensed matter problems / Gerardus Hooijerschema:ProductModel Problems in set theory, mathematical logic and the theory of algorithms / Igor Lavrov and Larisa Maksimova ; ed. by Giovanna Corsi ; transl. [from the Russian] by Valentin Shehtmanschema:ProductModel Proof-theoretical analyses of transfinite recursion and inductive definitions = Bewijstheoretische analyses van transfiniete recursie en inductieve definities / door Jan Terlouwschema:ProductModel ... show all 26

Algoritmenskos:Concept