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

Dreier, Jan; Kuinke, Philipp; Rossmanith, Peter

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}
}