Pages that link to "Item:Q673180"
From MaRDI portal
The following pages link to Intensional aspects of function definitions (Q673180):
Displayed 6 items.
- Computing minimum with primitive recursion over lists (Q671369) (← links)
- System \(T\), call-by-value and the minimum problem (Q1274979) (← links)
- Decidability results for primitive recursive algorithms (Q1399975) (← links)
- On primitive recursive algorithms and the greatest common divisor function (Q1399976) (← links)
- On the proof-theoretic foundation of general definition theory (Q2500816) (← links)
- On the asymptotic behaviour of primitive recursive algorithms (Q5958756) (← links)