Testing first-order properties for subclasses of sparse graphs (Q5395732)
From MaRDI portal
scientific article; zbMATH DE number 6258130
Language | Label | Description | Also known as |
---|---|---|---|
English | Testing first-order properties for subclasses of sparse graphs |
scientific article; zbMATH DE number 6258130 |
Statements
Testing first-order properties for subclasses of sparse graphs (English)
0 references
17 February 2014
0 references
first-order model checking
0 references
graphs with bounded expansion
0 references
tree-depth
0 references