"Deciding First-Order Properties for Sparse Graphs."

Zdenek Dvorák, Daniel Král, Robin Thomas (2010)

Details and statistics

DOI: 10.1109/FOCS.2010.20

access: closed

type: Conference or Workshop Paper

metadata version: 2023-12-01

a service of  Schloss Dagstuhl - Leibniz Center for Informatics