Items where Author is "Pilipczuk, Michal"

Conference or Workshop Item

van den Heuvel, Jan ORCID: 0000-0003-0897-9148, Kreutzer, Stephan, Pilipczuk, Michal, Quiroz, Daniel, Rabinovich, Roman and Siebertz, Sebastian (2017) Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion. In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017-06-20 - 2017-06-23, Reykjavik, Iceland, ISL. (In Press)