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