A short proof of an Erdős-Ko-Rado theorem for compositions.

Published in: Discret. Math. (2014)

Keyphrases

interactive theorem proving
machine learning
linear logic
optimal solution
theorem prover
theorem proving
knowledge base
image processing
web services
multi agent
preprocessing
relational databases
learning algorithm
proof theoretic
heavy traffic limit
mathematical proofs
database