![](/img/cover-not-exists.png)
[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion
van den Heuvel, Jan, Kreutzer, Stephan, Pilipczuk, Michal, Quiroz, Daniel A., Rabinovich, Roman, Siebertz, SebastianYear:
2017
Language:
english
DOI:
10.1109/LICS.2017.8005115
File:
PDF, 277 KB
english, 2017