Person

Peter Lindner

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

Address

Building: Erweiterungsbau 1

Room: 4108

Ahornstr. 55

52074 Aachen

Contact

workPhone
Phone: +49 241 80 21724
Fax: +49 241 80 22215

Office Hours

nach Vereinbarung
 

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 Martin Grohe, Peter Lindner Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS '19). To appear.
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).