Login / Signup

Formalization of Shannon's Theorems in SSReflect-Coq.

Reynald AffeldtManabu Hagiwara
Published in: ITP (2012)
Keyphrases