Galculator

swMATH9979MaRDI QIDQ21956FDOQ21956

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=1389456

Cited In (6)

• Extended Static Checking by Calculation Using the Pointfree Transform
• Constructive Galois connections
• Programming from Galois connections
• Formal derivation of greedy algorithms from relational specifications: a tutorial
• AoPA
• Calculating graph algorithms for dominance and shortest path

This page was built for software: Galculator