Monadic second order logic on graphs with local cardinality constraints. (English) Zbl 1351.68121
MSC:
| 68Q25 | Analysis of algorithms and problem complexity |
| 03B70 | Logic in computer science |
| 03D05 | Automata and formal grammars in connection with logical questions |
| 68Q17 | Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) |
| 68Q60 | Specification and verification (program logics, model checking, etc.) |
| 68R10 | Graph theory (including graph drawing) in computer science |
