Monotone Proofs of the Pigeon Hole Principle

Albert Atserias, Nicola Galesi, Ricard Gavaldà. Monotone Proofs of the Pigeon Hole Principle. Electronic Colloquium on Computational Complexity (ECCC), 7(8), 2000. [doi]

Abstract

Abstract is missing.