People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
First-Order Model Checking
First-Order Model Checking on Structurally Sparse Graph Classes
Jan Niclas Dreier
,
Mählmann, Nikolas
,
Siebertz, Sebastian
PDF
Cite
DOI
Cite
×