The following pages link to Cobham recursive set functions (Q904151):
Displaying 7 items.
- Cobham recursive set functions (Q904151) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Minimization and \(\mathbf{NP}\) multifunctions (Q1827394) (← links)
- On efficiency of notations for natural numbers (Q2143116) (← links)
- Predicatively computable functions on sets (Q2339966) (← links)
- SAFE RECURSIVE SET FUNCTIONS (Q3450802) (← links)
- Feasible set functions have small circuits (Q5240585) (← links)