Pages that link to "Item:Q2915689"
From MaRDI portal
The following pages link to L-recursion and a new logic for logarithmic space (Q2915689):
Displaying 7 items.
- Regressive computations characterize logarithmic space (Q342702) (← links)
- A new face of the branching recurrence of computability logic (Q712555) (← links)
- Expressiveness and complexity of graph logic (Q870359) (← links)
- Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics (Q1407605) (← links)
- (Q4553282) (← links)
- Choiceless Logarithmic Space (Q5092391) (← links)
- Separating LREC from LFP (Q6649491) (← links)