L-Recursion and a new Logic for Logarithmic Space
(2013) [Preprint]
Authors
Authors
Grohe, Martin
Grussien, Berit
Hernich, Andre
Laubner, Bastian
Identifier
- REPORT NUMBER: RWTH-2019-08457
Skip to Content Jump to Main Navigation Skip to Search
Skip to Content Jump to Main Navigation Skip to Search
(2013) [Preprint]
Grohe, Martin
Grussien, Berit
Hernich, Andre
Laubner, Bastian