Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
RETRACTED: Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |