MFMC_Countable

swMATH38014MaRDI QIDQ53714FDOQ53714

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/MFMC_Countable.html

Cited In (5)

• CryptHOL: game-based proofs in higher-order logic
• Zoo Probabilistic Systems
• Game_Based_Crypto
• Probabilistic_While
• A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory

This page was built for software: MFMC_Countable