L-Recursion and a new Logic for Logarithmic Space

Grohe, Martin; Grussien, Berit; Hernich, Andre; Laubner, Bastian

(2012, 2013)
Preprint

Identifier