×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [primitive recursive]
Home >
primitive recursive
Foundations of Mathematics - Malestrom
55 views
Feferman, Godel
537 views
Recurs Ion
352 views
Analyzing Stack and Heap Bounds for Primitive Recursive Programs in PR-Hume Kevin Hammond, Pedro Vasconcelos, Sun Meng, Álvaro Rebón Portillo, Leonid Timochouk.
218 views
Theory of Computation (Fall 2013): Access Functions for Gödel Numbers Lengths of Natural Numbers Formal Foundations of Program Compilation & Interpretation/Execution: Gödel Coder
520 views
Theory of Computation (Fall 2013): Trivial & Non-Trivial Program Properties, The Halting Problem, Index Sets, Rice's Theorem, Turing Machines
1.144 views
Theor of Computation (Fall 2014): Godel Numbers
119 views
Theory of Computation (Fall 2014): Euclid's Gift to Computer Science
148 views
Expressiveness and Model of the Polymorphic λ Calculus
308 views
Introduction to languages and the theory of computation
2.716 views
Second Order Arithmetic
245 views
M.E. (Comp. Scien. & Engg.) June 2013
217 views
Next >