![]() | Up a level |
Eickmeyer, Kord, Heuvel, Jan van den ORCID: 0000-0003-0897-9148, Kawarabayashi, Ken-Ichi, Kreutzer, Stephan, Mendez, Patrice Ossona De, Pilipczuk, Micha, Quiroz, Daniel A., Rabinovich, Roman and Siebertz, Sebastian
(2020)
Model-checking on ordered structures.
ACM Transactions on Computational Logic, 21 (2).
ISSN 1529-3785
van den Heuvel, Jan ORCID: 0000-0003-0897-9148, Ossona de Mendez, Patrice, Quiroz, Daniel, Rabinovich, Roman and Siebertz, Sebastian
(2017)
On the generalised colouring numbers of graphs that exclude a fixed minor.
European Journal of Combinatorics, 66.
pp. 129-144.
ISSN 0195-6698
van den Heuvel, Jan ORCID: 0000-0003-0897-9148, Kreutzer, Stephan, Pilipczuk, Michal, Quiroz, Daniel, Rabinovich, Roman and Siebertz, Sebastian
(2017)
Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion.
In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017-06-20 - 2017-06-23, Reykjavik, Iceland, ISL.
(In Press)