Pages that link to "Item:Q1816488"
From MaRDI portal
The following pages link to Non-definability of the Ackermann function with type 1 partial primitive recursion (Q1816488):
Displaying 4 items.
- Impossibility of finite generation of partial recursive functions by a unary isotone operation (Q1101443) (← links)
- A restricted computation model on Scott domains and its partial primitive recursive functionals (Q1283120) (← links)
- Subrecursive functions on partial sequences (Q1306824) (← links)
- The Ackermann functions are not optimal, but by how much? (Q5190202) (← links)