New injective proofs of the Erdős-Ko-Rado and Hilton-Milner theorems.

Glenn Hurlbert Vikram Kamat

Published in: Discret. Math. (2018)

Keyphrases

sequent calculus
cut elimination
proof search
theorem proving
linear logic
inference rules
theorem prover
formal proofs
formal proof
natural deduction
digital topology
equational theories
databases
decision making
information retrieval
multi view
feature selection