Gyesik Lee

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 1

Top Topics

Specification Languages

Proof Theoretic

Top Venues

Log. Methods Comput. Sci.

J. Autom. Reason.

Publications

Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konecný, Gyesik Lee, Norbert Th. Müller, Eike Neumann, Norbert Preining, Martin Ziegler
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. Log. Methods Comput. Sci. 20 (2) (2024)
Jonghyun Park, Jeongbong Seo, Sungwoo Park, Gyesik Lee
Mechanizing Metatheory Without Typing Contexts. J. Autom. Reason. 52 (2) (2014)
Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
GMeta: A Generic Formal Metatheory Framework for First-Order Representations. ESOP (2012)
Lorenzo Carlucci, Gyesik Lee, Andreas Weiermann
Sharp thresholds for hypergraph regressive Ramsey numbers. J. Comb. Theory, Ser. A 118 (2) (2011)
Gyesik Lee, Benjamin Werner
Proof-irrelevant model of CC with predicative induction and judgmental equality Log. Methods Comput. Sci. 7 (4) (2011)
Danko Ilik, Gyesik Lee, Hugo Herbelin
Kripke models for classical logic. Ann. Pure Appl. Log. 161 (11) (2010)
Hugo Herbelin, Gyesik Lee
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. WoLLIC (2009)
Gyesik Lee
Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem. CiE (2009)
Danko Ilik, Gyesik Lee, Hugo Herbelin
Kripke Models for Classical Logic CoRR (2009)
Gyesik Lee, Hisashi Oguma, Akira Yoshioka, Rie Shigetomi, Akira Otsuka, Hideki Imai
Formally verifiable features in embedded vehicular security systems. VNC (2009)
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) (2008)
Gyesik Lee
. Ann. Pure Appl. Log. 147 (1-2) (2007)
Gyesik Lee
Binary Trees and (Maximal) Order Types. CiE (2007)