Person

Peter Lindner

M. Sc.
Nicht verfügbar Urheberrecht: Copyright Valentin Bister
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: Erweiterungsbau 1

Raum: 4108a

Ahornstr. 55

52074 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21716
Fax: +49 241 80 22215

Sprechstunde

nach Vereinbarung
 

Stipendiat des Graduiertenkollegs 2236 UnRAVeL

Logos von UnRAVeL und DFG

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

Conference Version

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