Damien Pous
4
Documents
Publications
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 2
|
Graph Theory in Coq: Minors, Treewidth, and IsomorphismsJournal of Automated Reasoning, 2020, ⟨10.1007/s10817-020-09543-2⟩
Article dans une revue
hal-02316859v2
|
|
Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in CoqCPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, LA, United States. ⟨10.1145/3372885.3373831⟩
Communication dans un congrès
hal-02333553v3
|
|
A Formal Proof of the Minor-Exclusion Property for Treewidth-Two GraphsInteractive Theorem Proving, Jul 2018, Oxford, United Kingdom. ⟨10.1007/978-3-319-94821-8_11⟩
Communication dans un congrès
hal-01703922v2
|
|
Treewidth-Two Graphs as a Free AlgebraMathematical Foundations of Computer Science, Aug 2018, Liverpool, United Kingdom. ⟨10.4230/LIPIcs.MFCS.2018.60⟩
Communication dans un congrès
hal-01780844v3
|