Galculator
From MaRDI portal
Software:21956
No author found.
Related Items (5)
Formal derivation of greedy algorithms from relational specifications: a tutorial ⋮ Calculating Graph Algorithms for Dominance and Shortest Path ⋮ Programming from Galois connections ⋮ Extended Static Checking by Calculation Using the Pointfree Transform ⋮ Constructive Galois Connections
This page was built for software: Galculator
