Sciweavers

COCO
2001
Springer

Tree Resolution Proofs of the Weak Pigeon-Hole Principle

14 years 4 months ago
Tree Resolution Proofs of the Weak Pigeon-Hole Principle
Stefan S. Dantchev, Søren Riis
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where COCO
Authors Stefan S. Dantchev, Søren Riis
Comments (0)