Person
Peter Lindner
M. Sc.
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
Address
Building: Erweiterungsbau 1
Room: 4108a
Ahornstr. 55
52074 Aachen
Contact
- WorkPhone
- Phone: +49 241 80 21716
Fax
Fax:
+49 241 80 22215
Email:
lindner@cs.rwth-aachen.de
Office Hours
- by appointment
Scholar of the research training group 2236 UnRAVeL
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 |
---|---|---|
Martin Grohe, Benjamin Lucien Kaminsiki, Joost-Pieter Katoen, Peter Lindner | Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2020). p. 347-360 | |
Martin Grohe, Peter Lindner | 23rd International Conference on Database Theory (ICDT 2020). p. 16:1 - 16:20 | |
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 2019). p. 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). |