The following pages link to New Computational Paradigms (Q5717064):
Displaying 7 items.
- Elementary arithmetic (Q1772782) (← links)
- On the untenability of Nelson's predicativism (Q1841005) (← links)
- Inductive definitions over a predicative arithmetic (Q2566072) (← links)
- Proof theoretic complexity of low subrecursive classes (Q2752056) (← links)
- (Q4226937) (← links)
- On the complexity of computation of rudimentary predicates (Q4809504) (← links)
- (Q5208872) (← links)