Similar Items: L-Recursion and a new Logic for Logarithmic Space
- Unification and Logarithmic Space
- Reasonable Space for the ${lambda}$-Calculus, Logarithmically
- Recursion Schemes, the MSO Logic, and the U quantifier
- Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs
- Complexity results for modal logic with recursion via translations and tableaux
- A Light Modality for Recursion