Items where Author is "Rabinovich, Roman"

Item Type No Grouping

Model-checking on ordered structures. (2020) Eickmeyer, Kord; Heuvel, Jan van den; Kawarabayashi, Ken-Ichi; Kreutzer, Stephan; Mendez, Patrice Ossona De; Pilipczuk, Micha; Quiroz, Daniel A.; Rabinovich, Roman; Siebertz, Sebastian

On the generalised colouring numbers of graphs that exclude a fixed minor. (2017) van den Heuvel, Jan; Ossona de Mendez, Patrice; Quiroz, Daniel; Rabinovich, Roman; Siebertz, Sebastian

Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion. van den Heuvel, Jan; Kreutzer, Stephan; Pilipczuk, Michal; Quiroz, Daniel; Rabinovich, Roman; Siebertz, Sebastian