Pages that link to "Item:Q3514635"
From MaRDI portal
The following pages link to A complete characterization of primitive recursive intensional behaviours (Q3514635):
Displaying 8 items.
- Succinct iterative characterizations of primitive computable unary functions (Q672834) (← links)
- Intensional aspects of function definitions (Q673180) (← links)
- An exactification of the monoid of primitive recursive functions (Q817674) (← links)
- Decidability results for primitive recursive algorithms (Q1399975) (← links)
- (Q4133625) (← links)
- (Q4513599) (← links)
- Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule (Q5937826) (← links)
- On the asymptotic behaviour of primitive recursive algorithms (Q5958756) (← links)