Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs (Q5278404)
From MaRDI portal
scientific article; zbMATH DE number 6748867
Language | Label | Description | Also known as |
---|---|---|---|
English | Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs |
scientific article; zbMATH DE number 6748867 |
Statements
19 July 2017
0 references
model checking
0 references
algorithmic meta-theorem
0 references
successor-invariant
0 references
first-order logic
0 references
topological subgraphs
0 references
parameterised complexity
0 references
Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs (English)
0 references