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

Jan Dreier, Philipp Kuinke, Peter Rossmanith

Browse the full ESA paper archive.