Simulating Logspace-Recursion with Logarithmic Quantifier Depth.

Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus

Browse the full LICS paper archive.