Gyesik Lee
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2007–2012
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ESOP | GMeta: A Generic Formal Metatheory Framework for First-Order Representations. | Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi |
| 2009 | CiE | Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem. | Gyesik Lee |
| 2009 | WoLLIC | Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. | Hugo Herbelin, Gyesik Lee |
| 2007 | CiE | Binary Trees and (Maximal) Order Types. | Gyesik Lee |