Pages that link to "Item:Q1817075"
From MaRDI portal
The following pages link to A unary representation result for system \(T\) (Q1817075):
Displaying 6 items.
- Decidability results for primitive recursive algorithms (Q1399975) (← links)
- A geometry of interaction machine for Gödel's system T (Q1685928) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- (Q4513599) (← links)
- On the asymptotic behaviour of primitive recursive algorithms (Q5958756) (← links)
- Algorithmically expressive, always-terminating model for reversible computation (Q6637584) (← links)