Discrete random variables over domains
Theoretical Computer Science
Predicate transformers for extended probability and non-determinism
Mathematical Structures in Computer Science
Comparing free algebras in Topological and Classical Domain Theory
Theoretical Computer Science
Hi-index | 0.02 |