Prof. Dr. Sebastian Siebertz
First-order Logic with Connectivity Operators. ACM Trans. Comput. Log. 24(4) : 30:1-30:23 (2023) Michael R. Fellows , Mario Grobler , Nicole Megow , Amer E. Mouawad , Vijayaragunathan Ramamoorthi , Frances [...] applications. Highlights of Logic, Games and Automata, Invited tutorial, 15.9.2019. Current PhD students and Postdocs Dr. Alexandre Vigny Mario Grobler Nikolas Mählmann Service Organization of Dagstuhl