The following pages link to (Q5805955):
Displaying 19 items.
- Rekursive reelle Zahlen (Q767909) (← links)
- An enumeration of the primitive recursive functions without repetition (Q775448) (← links)
- Divergence bounded computable real numbers (Q817855) (← links)
- Generation of invertible functions (Q1123625) (← links)
- Discrete parabolas and circles on 2D cellular automata (Q1292302) (← links)
- On the hierarchy and extension of monotonically computable real numbers. (Q1426053) (← links)
- Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations (Q1670971) (← links)
- Using PVS to validate the algorithms of an exact arithmetic. (Q1853641) (← links)
- Some thoughts on computational models: from massive human computing to abstract state machines, and beyond (Q2117588) (← links)
- Péter on Church's thesis, constructivity and computers (Q2117808) (← links)
- Computable reducibility of metrics on the reals (Q2165612) (← links)
- Computable irrational numbers with representations of surprising complexity (Q2216036) (← links)
- Translating recursion equations into flow charts (Q2553232) (← links)
- On the generative power of transformational grammars (Q2557127) (← links)
- On a Subrecursive Hierarchy and Primitive Recursive Degrees (Q3257773) (← links)
- Proof of a Conjecture of Routledge (Q3275828) (← links)
- NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM (Q4632541) (← links)
- Primitive Recursiveness of Real Numbers under Different Representations (Q4921448) (← links)
- Primitive recursive real numbers (Q5307606) (← links)
