Pages that link to "Item:Q5370853"
From MaRDI portal
The following pages link to Coupling proofs are probabilistic product programs (Q5370853):
Displaying 4 items.
- Generating functions for probabilistic programs (Q2119118) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- Foundations for entailment checking in quantitative separation logic (Q6166785) (← links)