Items where Author is "Pilipczuk, Michal"

Item Type No Grouping

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