Pages that link to "Item:Q1781116"
From MaRDI portal
The following pages link to Neat function algebraic characterizations of LOGSPACE and LINSPACE (Q1781116):
Displayed 8 items.
- Regressive computations characterize logarithmic space (Q342702) (← links)
- Unbounded recursion and non-size-increasing functions (Q737105) (← links)
- Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\) (Q1015376) (← links)
- Bounded minimalisation and bounded counting in argument-bounded idc's (Q3060189) (← links)
- A Characterisation of the Relations Definable in Presburger Arithmetic (Q3502652) (← links)
- Pure Iteration and Periodicity (Q3507417) (← links)
- Recursion in Higher Types and Resource Bounded Turing Machines (Q3507448) (← links)
- Ramified Corecurrence and Logspace (Q5739361) (← links)