Gyesik Lee

According to our database1, Gyesik Lee authored at least 12 papers between 2007 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation.
Log. Methods Comput. Sci., 2024

2014
Mechanizing Metatheory Without Typing Contexts.
J. Autom. Reason., 2014

2012
GMeta: A Generic Formal Metatheory Framework for First-Order Representations.
Proceedings of the Programming Languages and Systems, 2012

2011
Sharp thresholds for hypergraph regressive Ramsey numbers.
J. Comb. Theory A, 2011

Proof-irrelevant model of CC with predicative induction and judgmental equality
Log. Methods Comput. Sci., 2011

2010
Kripke models for classical logic.
Ann. Pure Appl. Log., 2010

2009
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.
Proceedings of the Logic, 2009

Formally verifiable features in embedded vehicular security systems.
Proceedings of the IEEE Vehicular Networking Conference, 2009

Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem.
Proceedings of the Mathematical Theory and Computational Practice, 2009

2008
Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers.
J. Comb. Theory A, 2008

2007
A comparison of well-known ordinal notation systems for epsilon<sub>0</sub>.
Ann. Pure Appl. Log., 2007

Binary Trees and (Maximal) Order Types.
Proceedings of the Computation and Logic in the Real World, 2007


  Loading...