Relation-algebraic verification of Borůvka's minimum spanning tree algorithm (Q2695356): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RelView
@@ Property / describes a project that uses: RelView / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / 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/978-3-030-88701-8_14
+Normal rank
@@ Property / OpenAlex ID @@
+W3209152073
@@ Property / OpenAlex ID: W3209152073 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4213376
@@ Property / cites work: Q4213376 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing tournament solutions using relation algebra and RelView
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+A minimum spanning tree algorithm with inverse-Ackermann type complexity
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Sur la liaison et la division des points d'un ensemble fini
+Normal rank
@@ Property / cites work @@
+On the History of the Minimum Spanning Tree Problem
+Normal rank
@@ Property / cites work @@
+Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm
+Normal rank
@@ Property / cites work @@
+An algebraic framework for minimum spanning tree problems
+Normal rank
@@ Property / cites work @@
+Verifying minimum spanning tree algorithms with Stone relation algebras
+Normal rank
@@ Property / cites work @@
+A randomized linear-time algorithm to find minimum spanning trees
+Normal rank
@@ Property / cites work @@
+A relation-algebraic view on evolutionary algorithms for some graph problems
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+On the shortest spanning subtree of a graph and the traveling salesman problem
+Normal rank
@@ Property / cites work @@
+Q5875432
@@ Property / cites work: Q5875432 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Otakar Borůvka on minimum spanning tree problem. Translation of both the 1926 papers, comments, history
+Normal rank
@@ Property / cites work @@
+Winskel is (almost) right: Towards a mechanized semantics textbook
+Normal rank
@@ Property / cites work @@
+Q4823141
@@ Property / cites work: Q4823141 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707420
@@ Property / cites work: Q3707420 / rank @@
+Normal rank
@@ Property / cites work @@
+An \(0(| E|\log\log| V|)\) algorithm for finding minimum spanning trees
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2695356