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 |
---|---|---|
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). 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). |