The following pages link to (Q4281652):
Displaying 4 items.
- Formal derivation of graph algorithmic programs using partition-and-recur (Q1273073) (← links)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- Inductive graphs and functional graph algorithms (Q2757101) (← links)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139) (← links)