L-Recursion and a new Logic for Logarithmic Space
Grohe, Martin; Grussien, Berit; Hernich, Andre; Laubner, Bastian
(2012, 2013)
Preprint
Identifier
- RWTH PUBLICATIONS: RWTH-2019-08457
Skip to Content Skip to Main Navigation Skip to Footer Skip to Search
Grohe, Martin; Grussien, Berit; Hernich, Andre; Laubner, Bastian
(2012, 2013)
Preprint