Algorithmic meta-theorems for restrictions of treewidth (Q1759681)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algorithmic meta-theorems for restrictions of treewidth |
scientific article |
Statements
Algorithmic meta-theorems for restrictions of treewidth (English)
0 references
21 November 2012
0 references
vertex cover
0 references
max-leaf number
0 references
MSO logic
0 references
Courcelle's theorem
0 references
0 references
0 references
