First-Order Model-Checking in Random Graphs and Complex Networks

Jan Niclas Dreier, Philipp Kuinke, Peter Rossmanith
January 2020
PDF Cite
Type
Conference Paper
Jan Niclas Dreier
Jan Niclas Dreier

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