Person
Luca Oeljeklaus
M.Sc.Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
Adresse
Gebäude: Erweiterungsbau 1
Raum: 4114a
Ahornstr. 55
52074 Aachen
- nach Vereinbarung
Forschungsinteressen
Publikationen
| Quelle | Beteiligte |
|---|---|
| [Buchbeitrag, Beitrag zu einem Tagungsband] Simulating Logspace-Recursion with Logarithmic Quantifier Depth In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 26 - 29 June 2023, Boston, USA, 2023, 2023 [DOI: 10.1109/LICS56636.2023.10175818] | van Bergerem, Steffen (Corresponding author) Grohe, Martin (Corresponding author) Kiefer, Sandra (Corresponding author) Oeljeklaus, Luca Frédéric Tilmann (Corresponding author) |