Pages that link to "Item:Q1941863"
From MaRDI portal
The following pages link to Dijkstra, Floyd and Warshall meet Kleene (Q1941863):
Displayed 8 items.
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Incremental evaluation of continuous preference queries (Q2195389) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)
- Hierarchical Multiobjective Shortest Path Problems (Q3381971) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- Stone Relation Algebras (Q5283207) (← links)