Person
Luca Oeljeklaus
M.Sc.Chair of Computer Science 7 (Logic and Theory of Discrete Systems)
Address
Building: Erweiterungsbau 1
Room: 4114a
Ahornstr. 55
52074 Aachen
Office Hours
- by appointment
Research Interests
Publications
Source | Authors and Contributors |
---|---|
[Contribution to a book, Contribution to a conference proceedings] 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) |