Pages that link to "Item:Q5111293"
From MaRDI portal
The following pages link to \(K_4\)-free graphs as a free algebra (Q5111293):
Displaying 6 items.
- A formal proof of the minor-exclusion property for treewidth-two graphs (Q1791156) (← links)
- Graph theory in Coq: minors, treewidth, and isomorphisms (Q2209536) (← links)
- The class of representable semilattice-ordered monoids is not a variety (Q2695350) (← links)
- On the positive calculus of relations with transitive closure (Q3304097) (← links)
- Treewidth-two graphs as a free algebra (Q5005163) (← links)
- Graphical Conjunctive Queries. (Q5079736) (← links)