TY  - RPRT
TI  - Simulating Logspace-Recursion with Logarithmic Quantifier Depth
AU  - Steffen van Bergerem
AU  - Martin Grohe
AU  - Sandra Kiefer
AU  - Luca Oeljeklaus
PY  - 2023
UR  - https://arxiv.org/abs/2304.12948
ID  - 2304.12948
ER  -