共 50 条
- [43] Formalizing Finite Ramsey Theory in Lean 4 INTELLIGENT COMPUTER MATHEMATICS, CICM 2024, 2024, 14690 : 91 - 108
- [44] THE POSET ON CONNECTED INDUCED SUBGRAPHS OF A GRAPH NEED NOT BE SPERNER ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 1995, 12 (03): : 315 - 318
- [47] On the number of edges in induced subgraphs of a special distance graph Mathematical Notes, 2016, 99 : 545 - 551