TY - RPRT TI - L-Recursion and a new Logic for Logarithmic Space AU - Martin Grohe AU - Berit Grußien AU - André Hernich AU - Bastian Laubner PY - 2013 DO - 10.2168/lmcs-9(1:11)2013 UR - https://arxiv.org/abs/1212.6567 ID - 1212.6567 ER -