Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch's Theorem.

Yijia Chen, Moritz Mller

Browse the full MFCS paper archive.