| |
| 2009 | ||
|---|---|---|
| 4 | EE | Danko Ilik, Gyesik Lee, Hugo Herbelin: Kripke Models for Classical Logic CoRR abs/0904.0071: (2009) |
| 2008 | ||
| 3 | EE | Menachem Kojman, Gyesik Lee, Eran Omri, Andreas Weiermann: Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers. J. Comb. Theory, Ser. A 115(6): 1036-1055 (2008) |
| 2007 | ||
| 2 | EE | Gyesik Lee: Binary Trees and (Maximal) Order Types. CiE 2007: 465-473 |
| 1 | EE | Gyesik Lee: A comparison of well-known ordinal notation systems for epsilon0. Ann. Pure Appl. Logic 147(1-2): 48-70 (2007) |
| 1 | Hugo Herbelin | [4] |
| 2 | Danko Ilik | [4] |
| 3 | Menachem Kojman | [3] |
| 4 | Eran Omri | [3] |
| 5 | Andreas Weiermann | [3] |