Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sam Buss
Short Proofs of the Kneser-Lovász Coloring Principle
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Short Refutations for an Equivalence-Chain Principle for Constant-Depth Formulas
Mathematical Logic Quarterly
Logic
Krajíček Jan. Forcing With Random Variables and Proof Complexity. London Mathematical Society Lecture Note Series, Vol. 232. Cambridge University Press, 2011, Xvi + 247 Pp.
Bulletin of Symbolic Logic
Philosophy
Logic
Strategies for Stable Merge Sorting