Deciding First-Order Properties for Sparse Graphs

Zdenek Dvorak, Daniel Král, Robin Thomas. Deciding First-Order Properties for Sparse Graphs. In 51th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2010, October 23-26, 2010, Las Vegas, Nevada, USA. pages 133-142, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.