Hypergraphs

MaRDI QIDQ7361013FDO

Authors Chelsea Edmonds

Publication date 20 September 2023

Cites work

• A modular first formalisation of combinatorial design theory

Cited in

(1)

• Hypergraph Colouring Bounds

This page was built for software: Hypergraphs