Author:
Doczkal Christian,Combette Guillaume,Pous Damien
Publisher
Springer International Publishing
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hall’s Theorem for Enumerable Families of Finite Sets;Lecture Notes in Computer Science;2022
2. Graph Theory in Coq: Minors, Treewidth, and Isomorphisms;Journal of Automated Reasoning;2020-01-31
3. A constructive formalization of the weak perfect graph theorem;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
4. Completeness of an axiomatization of graph isomorphism via graph rewriting in Coq;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
5. Towards a Constructive Formalization of Perfect Graph Theorems;Logic and Its Applications;2019