Galculator

swMATH9979MaRDI QIDQ21956FDOQ21956

Author name not available (Why is that?)

Cited In (5)

• Calculating Graph Algorithms for Dominance and Shortest Path
• Extended Static Checking by Calculation Using the Pointfree Transform
• Programming from Galois connections
• Formal derivation of greedy algorithms from relational specifications: a tutorial
• Constructive Galois Connections

This page was built for software: Galculator