Pages that link to "Item:Q3179390"
From MaRDI portal
The following pages link to Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390):
Displayed 7 items.
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms (Q832310) (← links)
- Pseudocomplementation and minimal prime ideals in semirings (Q1646612) (← links)
- An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Relation-algebraic verification of Borůvka's minimum spanning tree algorithm (Q2695356) (← links)
- Stone Relation Algebras (Q5283207) (← links)
- (Q5875432) (← links)