Items where Author is "Pilipczuk, Michal"

Number of items: 1.
Conference or Workshop Item
  • Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion. van den Heuvel, Jan and Kreutzer, Stephan and Pilipczuk, Michal and Quiroz, Daniel and Rabinovich, Roman and Siebertz, Sebastian