Pages that link to "Item:Q3007572"
From MaRDI portal
The following pages link to A Functional, Successor List Based Version of Warshall’s Algorithm with Applications (Q3007572):
Displayed 4 items.
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- Towards Certifiable Implementation of Graph Transformation via Relation Categories (Q2915137) (← links)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139) (← links)
- Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings (Q2915140) (← links)