Pages that link to "Item:Q1273073"
From MaRDI portal
The following pages link to Formal derivation of graph algorithmic programs using partition-and-recur (Q1273073):
Displaying 6 items.
- Two graph algorithms derived (Q1818303) (← links)
- Algorithm design through the optimization of reuse-based generation (Q1980486) (← links)
- An algebraic approach to population-based evolutionary algorithm generation (Q2520618) (← links)
- A Linear In-situ Algorithm for the Power of Cyclic Permutation (Q3507325) (← links)
- Verification: Theory and Practice (Q5305661) (← links)
- Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems (Q5321691) (← links)