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

Dreier, Jan (Corresponding author); Kuinke, Philipp (Corresponding author); Rossmanith, Peter (Corresponding author)

Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2020)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 28th Annual European Symposium on Algorithms : ESA 2020, September 7-9, 2020, Pisa, Italy (virtual conference) / edited by Fabrizio Grandoni, Grzegorz Herman, Peter Sanders
Seite(n)/Artikel-Nr.: 40:[1]-40:23

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Theoretische Informatik [121220]