Fixed-point definability and polynomial time on graphs with excluded minors (Q5395695)
From MaRDI portal
scientific article; zbMATH DE number 6258093
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fixed-point definability and polynomial time on graphs with excluded minors |
scientific article; zbMATH DE number 6258093 |
Statements
Fixed-point definability and polynomial time on graphs with excluded minors (English)
0 references
17 February 2014
0 references
descriptive complexity
0 references
fixed-point logics
0 references
graph isomorphism
0 references
graph minors
0 references
