Pages that link to "Item:Q1791156"

The following pages link to A formal proof of the minor-exclusion property for treewidth-two graphs (Q1791156):

Displaying 3 items.

• Graph theory in Coq: minors, treewidth, and isomorphisms (Q2209536) (← links)
• (Q5875421) (← links)
• Formalization of the Domination Chain with Weighted Parameters (Short Paper) (Q5875450) (← links)