View of A Library for Algorithmic Game Theory in Ssreflect/Coq

Return to Article Details A Library for Algorithmic Game Theory in Ssreflect/Coq Download Download PDF