Login / Signup
A new proof of the colored Kruskal - Katona theorem.
Eran London
Published in:
Discret. Math. (1994)
Keyphrases
</>
interactive theorem proving
linear logic
theorem proving
intuitionistic logic
neural network
case study
hidden markov models
von neumann
mathematical proofs