Peter Lindner

M. Sc.
Peter Lindner Copyright: Copyright Valentin Bister
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)


Building: Erweiterungsbau 1

Room: 4108a

Ahornstr. 55

52074 Aachen


Phone: +49 241 80 21716
Fax: +49 241 80 22215

Office Hours

by appointment

Scholar of the research training group 2236 UnRAVeL

Logo of UnRAVeL and DFG

Funded by the german reasearch foundation Deutsche Forschungsgemeinschaft (DFG) – GRK 2236 UnRAVeL


Research Interests

Logic, Database Theory


Publications Peter Lindner

Title Author(s) Appeared in

Probabilistic Databases with an Infinite Open-World Assumption

Conference Version

Martin Grohe, Peter Lindner Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS '19). S. 17-31.
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures Faried Abu Zaid, Dietrich Kuske, Peter Lindner 27th EACSL Annual Conference on Computer Science Logic (CSL 2018).