The following pages link to SAFE RECURSIVE SET FUNCTIONS (Q3450802):
Displayed 5 items.
- Cobham recursive set functions (Q904151) (← links)
- On efficiency of notations for natural numbers (Q2143116) (← links)
- Predicatively computable functions on sets (Q2339966) (← links)
- Applicable Mathematics in a Minimal Computational Theory of Sets (Q4553281) (← links)
- Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines (Q4995609) (← links)