Transitive Union-Closed Families (Formal proof development)

Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
JournalArchive of Formal Proofs
Publication statusPublished - Jan 2025

Cite this