A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christian Doczkal, Guillaume Combette, Damien Pous. A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs. In Jeremy Avigad, Assia Mahboubi, editors, Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. Volume 10895 of Lecture Notes in Computer Science, pages 178-195, Springer, 2018. [doi]

This author has not been identified. Look up 'Christian Doczkal' in GoogleThis author has not been identified. Look up 'Guillaume Combette' in GoogleThis author has not been identified. Look up 'Damien Pous' in Google

runs on WebDSL