Jan Dreier, Philipp Kuinke, Peter Rossmanith. First-Order Model-Checking in Random Graphs and Complex Networks. In Fabrizio Grandoni 0001, Grzegorz Herman, Peter Sanders 0001, editors, 28th Annual European Symposium on Algorithms, ESA 2020, September 7-9, 2020, Pisa, Italy (Virtual Conference). Volume 173 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
Abstract is missing.