First-Order Model Checking on Structurally Sparse Graph Classes

Jan Niclas Dreier, Mählmann, Nikolas, Siebertz, Sebastian
January 2023
PDF Cite DOI
Type
Conference Paper
First-Order Model Checking Structural Graph Theory
Jan Niclas Dreier
Jan Niclas Dreier

Jan Niclas Dreier is a Postdoctoral Researcher at the Algorithms and Complexity Group.