L-Recursion and a new Logic for Logarithmic Space

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

Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig (2013)
Journal Article

In: Logical methods in computer science : LMCS
Volume: 9
Issue: 1
Page(s)/Article-Nr.: 1-44