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