erek palu

E-mail: epaul at informatik. erek erek 657 uni-leipzig. erek sapi 2d de Erik Paul Universität Leipzig Institut für Informatik PF 100920 D-04109 Leipzig Germany Sprechzeiten: Nach Absprache Wintersemester 2023/24: Automatentheorie Automaten, Logik und Spiele Sommersemester 2023: Logik und Modelltheorie