by Jan Dreier, Philipp Kuinke, Peter Rossmanith
Reference:
First-Order Model-Checking in Random Graphs and Complex NetworksJan Dreier, Philipp Kuinke, Peter Rossmanith28th Annual European Symposium on Algorithms (ESA 2020), volume 173 of LIPIcs, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Bibtex Entry:
@string{lipics="LIPIcs"}
@inproceedings{DreierKuinkeRossmanith20a,
title ={First-Order Model-Checking in Random Graphs and Complex Networks},
author ={Jan Dreier and Philipp Kuinke and Peter Rossmanith},
booktitle = {28th Annual European Symposium on Algorithms (ESA 2020)},
series = {LIPIcs},
volume = {173},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
URL = {https://arxiv.org/abs/2006.14488}
}