AoPA
From MaRDI portal
Software:21811
swMATH9832MaRDI QIDQ21811FDOQ21811
Author name not available (Why is that?)
Cited In (8)
- Contributions to a computational theory of policy advice and avoidability
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- Program Calculation in Coq
- Formal derivation of greedy algorithms from relational specifications: a tutorial
- Calculating a linear-time solution to the densest-segment problem
- Towards Certifiable Implementation of Graph Transformation via Relation Categories
- Algebra of programming in Agda: Dependent types for relational program derivation
- Title not available (Why is that?)
This page was built for software: AoPA
