Similar Items: Unification and Logarithmic Space
- Reasonable Space for the ${lambda}$-Calculus, Logarithmically
- L-Recursion and a new Logic for Logarithmic Space
- Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs
- Exact Unification and Admissibility
- Unification in the Description Logic EL
- The Algebraic Intersection Type Unification Problem