Graph theory in Coq: minors, treewidth, and isomorphisms (Q2209536): Difference between revisions

@@ Property / describes a project that uses @@
+Coq/SSReflect
@@ Property / describes a project that uses: Coq/SSReflect / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Flyspeck
@@ Property / describes a project that uses: Flyspeck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Edmonds-Karp
@@ Property / describes a project that uses: Edmonds-Karp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tame Graphs
@@ Property / describes a project that uses: Tame Graphs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Graph Theory
@@ Property / describes a project that uses: Graph Theory / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hereditarily Finite Sets
@@ Property / describes a project that uses: Hereditarily Finite Sets / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Finite Automata HF
@@ Property / describes a project that uses: Finite Automata HF / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-020-09543-2
+Normal rank
@@ Property / OpenAlex ID @@
+W3004330900
@@ Property / OpenAlex ID: W3004330900 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive query containment revisited
@@ Property / cites work: Conjunctive query containment revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Pragmatic Quotient Types in Coq
@@ Property / cites work: Pragmatic Quotient Types in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Refinements for Free!
@@ Property / cites work: Refinements for Free! / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Q3077955
@@ Property / cites work: Q3077955 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4947393
@@ Property / cites work: Q4947393 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal proof of the minor-exclusion property for treewidth-two graphs
+Normal rank
@@ Property / cites work @@
+Topology of series-parallel networks
@@ Property / cites work: Topology of series-parallel networks / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Study of Plane Delaunay Triangulation
@@ Property / cites work: Formal Study of Plane Delaunay Triangulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302559
@@ Property / cites work: Q5302559 / rank @@
+Normal rank
@@ Property / cites work @@
+Short proof of Menger's theorem
@@ Property / cites work: Short proof of Menger's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of homomorphism and constraint satisfaction problems seen from the other side
+Normal rank
@@ Property / cites work @@
+Formalizing the Edmonds-Karp Algorithm
@@ Property / cites work: Formalizing the Edmonds-Karp Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111293
@@ Property / cites work: Q5111293 / rank @@
+Normal rank
@@ Property / cites work @@
+Flyspeck I: Tame Graphs
@@ Property / cites work: Flyspeck I: Tame Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A graph library for Isabelle
@@ Property / cites work: A graph library for Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+A Formalisation of Finite Automata Using Hereditarily Finite Sets
+Normal rank
@@ Property / cites work @@
+Allegories
@@ Property / cites work: Allegories / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. XX: Wagner's conjecture
@@ Property / cites work: Graph minors. XX: Wagner's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of the Domination Chain with Weighted Parameters (Short Paper)
+Normal rank
@@ Property / cites work @@
+Q3075239
@@ Property / cites work: Q3075239 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank