![]() | ![]() |
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] |