Items where Author is "Kreutzer, Stephan"

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

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