Person
Peter Lindner
M. Sc.
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
Adresse
Gebäude: Erweiterungsbau 1
Raum: 4108a
Ahornstr. 55
52074 Aachen
Sprechstunde
- nach Vereinbarung
Stipendiat des Graduiertenkollegs 2236 UnRAVeL
Gefördert durch die Deutsche Forschungsgemeinschaft (DFG) – GRK 2236 UnRAVeL
Forschungsinterssen
Logik, Datenbanktheorie
Publikationen
| Titel | Autor*innen | Erschienen 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).S. 347-360 |
|
| Martin Grohe, Peter Lindner | 23rd International Conference on Database Theory (ICDT 2020). S. 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). 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). |