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
Identifier
- DOI: 10.2168/LMCS-9(1:11)2013
- REPORT NUMBER: RWTH-CONV-073997