Pages that link to "Item:Q1791156"
From MaRDI portal
The following pages link to A formal proof of the minor-exclusion property for treewidth-two graphs (Q1791156):
Displaying 5 items.
- Graph theory in Coq: minors, treewidth, and isomorphisms (Q2209536) (← links)
- Treewidth-two graphs as a free algebra (Q5005163) (← links)
- \(K_4\)-free graphs as a free algebra (Q5111293) (← links)
- (Q5875421) (← links)
- Formalization of the Domination Chain with Weighted Parameters (Short Paper) (Q5875450) (← links)