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