L-Recursion and a new Logic for Logarithmic Space

Braunschweig / Department of Theoretical Computer Science, Technical University of Braunschweig (2013) [Journal Article]

Logical methods in computer science : LMCS
Volume: 9
Issue: 1
Page(s): 1-44

Authors

Authors

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