Towards a constructive formalization of perfect graph theorems

DOI10.1007/978-3-662-58771-3_17OpenAlexW2908503586MaRDI QIDQ2284192

Abhishek Kr Singh, Raja Natarajan

Publication date: 14 January 2020

Full work available at URL: https://arxiv.org/abs/1812.11108

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Related Items (1)

Hall's theorem for enumerable families of finite sets

Uses Software

• Coq

This page was built for publication: Towards a constructive formalization of perfect graph theorems