Fixed-point definability and polynomial time on graphs with excluded minors. (English) Zbl 1281.68129
MSC:
| 68Q19 | Descriptive complexity and finite models |
| 05C60 | Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) |
| 05C83 | Graph minors |
