共 50 条
- [42] On the proof of a lemma enunciated by Severi PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1936, 32 : 253 - 259
- [45] TARSKI FIXPOINT LEMMA AND COMBINATORIAL GAMES ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 1991, 7 (04): : 375 - 386
- [47] A FUNCTIONAL ANALYTIC PROOF OF A SELECTION LEMMA CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1980, 32 (02): : 441 - 448
- [50] A Constructive Proof of the Lovasz Local Lemma STOC'09: PROCEEDINGS OF THE 2009 ACM SYMPOSIUM ON THEORY OF COMPUTING, 2009, : 343 - 350