The following pages link to (Q4213379):
Displaying 5 items.
- Deriving a class of layer-oriented graph algorithms (Q1916362) (← links)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139) (← links)
- Traversing Layered Graphs Using the Work Function Algorithm (Q4881405) (← links)