The following pages link to Two graph algorithms derived (Q1818303):
Displaying 8 items.
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView (Q383785) (← links)
- Formal derivation of graph algorithmic programs using partition-and-recur (Q1273073) (← links)
- Relational depth-first-search with applications (Q1602553) (← links)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- Implementing relational specifications in a constraint functional logic language (Q2873796) (← links)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139) (← links)
- Optimal Broadcast with Partial Knowledge (Q4210163) (← links)
- Verification: Theory and Practice (Q5305661) (← links)
