共 50 条
- [42] On Combinatorial Proofs for Logics of Relevance and Entailment LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 1 - 16
- [45] New Proofs for Several Combinatorial Identities COMPUTATIONAL INTELLIGENCE AND INTELLIGENT SYSTEMS, 2012, 316 : 30 - +
- [46] Combinatorial proofs of some determinantal identities LINEAR & MULTILINEAR ALGEBRA, 2018, 66 (08): : 1659 - 1667
- [49] Upper tail estimates with combinatorial proofs Leibniz Int. Proc. Informatics, LIPIcs, (392-405):