First-Order Model Checking on Monadically Stable Graph Classes

Jan Niclas Dreier, Eleftheriadis, Ioannis, Mählmann, Nikolas, McCarty, Rose, Pilipczuk, Michał, Toruńczyk, Szymon
January 2024
PDF Cite DOI
Type
Conference Paper
Jan Niclas Dreier
Jan Niclas Dreier

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