L-Recursion and a new Logic for Logarithmic Space

(2013) [Preprint]

Authors

Selected Authors

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

Identifier

  • REPORT NUMBER: RWTH-2019-08457

Sources