Items where Author is "Kreutzer, Stephan"

Number of items: 2.
Article
  • 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
    • Conference or Workshop Item
  • 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