criterion
From MaRDI portal
Criterion
Cited in
(16)- CLISP
- effects
- Frank
- pipes
- mtl
- CacBDD
- Kleisli
- nofib
- SMCDEL
- HasCacBDD
- DEMO
- Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
- Handlers in action
- Efficient parallel and incremental parsing of practical context-free languages
- SurrealNumbers
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products
This page was built for software: criterion
