Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Lee, Gyesik - ROSAEC center, Seoul National University
Binary trees and (maximal) order types LIX -INRIA Futurs, Ecole Polytechnique, 91128 Palaiseau Cedex, France
Forcing-based cut-elimination for Gentzen-style intuitionistic sequent calculus
Relationship between Kanamori-McAloon principle and Paris-Harrington theorem
A comparison of well-known ordinal notation systems for 0
Well-partial-orderings and hierarchies of binary trees
Noname manuscript No. (will be inserted by the editor)
Summary of the Master thesis Typed -claculus stems from the trial to avoid paradoxes which occurs in -
SHARP THRESHOLDS FOR HYPERGRAPH REGRESSIVE RAMSEY NUMBERS
Sharp Thresholds for the Phase Transition between Primitive Recursive and
A PROOF-IRRELEVANT MODEL OF CIC WITH PREDICATIVE INDUCTION AND JUDGEMENTAL EQUALITY
Formally Verifiable Features in Embedded Vehicular Security Systems Gyesik Lee, Hisashi Oguma, Akira Yoshioka, Rie Shigetomi, Akira Otsuka and Hideki Imai
