People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Siebertz, Sebastian
Recent Publications
First-Order Model Checking on Structurally Sparse Graph Classes
2023
Combinatorial and Algorithmic Aspects of Monadic Stability
2022
Cite
×