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

Jan Niclas Dreier, Philipp Kuinke, Peter Rossmanith
January 2020
PDF bib

Abstract

Full Citation:

Jan Dreier, Philipp Kuinke, Peter Rossmanith. First-Order Model-Checking in Random Graphs and Complex Networks. 28th Annual European Symposium on Algorithms (ESA 2020), volume 173 of LIPIcs, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Type
Conference Paper
Jan Niclas Dreier
Jan Niclas Dreier

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