Deciding First-Order Properties of Nowhere Dense Graphs

Grohe, Martin; Kreutzer, Stephan; Siebertz, Sebastian

New York, NY : ACM (2017)
Journal Article

In: Journal of the ACM
Volume: 64
Issue: 3
Page(s)/Article-Nr.: 1-32

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]