Sign in

A Simple Proof of the Kruskal-Katona Theorem.

David E. Daykin
Published in: J. Comb. Theory, Ser. A (1974)
Keyphrases
  • databases
  • search algorithm
  • interactive theorem proving
  • information retrieval
  • case study
  • high level
  • probability distribution