The following pages link to (Q4436983):
Displaying 5 items.
- 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 Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)
- Incremental Parametric Development of Greedy Algorithms (Q5178994) (← links)
- (Q5875432) (← links)