巴卡雷拉，D。;刘，Q。;B.麦甘。;李·G·。;T·李。 圆形模型超燃冲压发动机中的隔离器-燃烧室相互作用，以及热阻塞和非热阻塞引起的非起动。 （英语） Zbl 1493.76119号 J.流体力学。 917，论文编号A38，36 p.（2021）.MSC公司：76伏05 76升05 76K05美元 76-05 80A25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Baccarella}等人，《流体力学杂志》。917，论文编号A38，36页（2021；Zbl 1493.76119） 全文： 内政部
Kim，Hwajeong先生;Lee，Gyesik先生 均匀性和拉姆齐数的精化。 （英语） Zbl 1401.05296号 Commun公司。韩国数学。Soc公司。 33，第3期，1001-1011（2018）.MSC公司：10年5月 05元55分 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{H.Kim}和\textit{G.Lee}，Commun。韩国数学。Soc.33，No.3，1001--1011（2018；Zbl 1401.05296） 全文： 链接
雨果·赫伯林;Kim、Sun Young;李吉西克 形式化一阶谓词逻辑的元理论。 （英语） 兹比尔1521.03024 J.韩国数学。Soc公司。 54，第5期，1521-1536（2017）.MSC公司：03B35型 03B10号机组 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{H.Herberlin}等人，J.韩国数学。Soc.54，No.5，1521--1536（2017；Zbl 1521.03024） 全文： 内政部
塞翁公园;Franz Brauße;皮特·科林斯;Kim、SunYoung;米查尔·科内奇;Lee，Gyesik先生;诺伯特·米勒;艾克·诺依曼;Preining，诺伯特;马丁·齐格勒 精确实计算的语义、规范逻辑和Hoare逻辑。 arXiv:1608.05787 预印本，arXiv:1608.05787[cs.NA]（2016）。MSC公司：03B70号 65岁99岁 68页 68牛顿 68季度xx BibTeX公司 引用 \textit｛S.Park｝等人，“精确实数计算的语义、规范逻辑和霍尔逻辑”，预印本，arXiv:1608.05787[cs.NA]（2016） 全文： arXiv公司 OA许可证
Park，琼云;Seo、Jeongbong;松武公园;Lee，Gyesik先生 机械化元理论，无需键入上下文。 （英语） Zbl 1332.68203号 J.汽车。推理 52，第2期，215-239（2014）.MSC公司：68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Park}等人，J.Autom。推理52，No.2，215--239（2014；Zbl 1332.68203） 全文： 内政部
Lee，Gyesik先生 Friedman-Weiermann式的独立性结果超出了Peano算法。 （英语） Zbl 1349.03083号 J.韩国数学。Soc公司。 51，第2期，383-402（2014）.MSC公司：30楼03号 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{G.Lee}，J.韩国数学。Soc.51，No.2，383--402（2014；Zbl 1349.03083） 全文： 内政部 链接
Lee，Gyesik先生;布鲁诺·C·d·S·奥利维拉。;成坤·赵;Yi，Kwangkeun先生 GMeta：用于一阶表示的通用形式元理论框架。 （英语） Zbl 1352.68063号 Seidl，Helmut（编辑），《编程语言和系统》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第21届欧洲编程研讨会（ESOP 2012）是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28868-5/pbk）。计算机科学课堂讲稿7211，436-455（2012）。MSC公司：68号30 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Lee}等人，Lect。注释计算。科学。7211，436--455（2012；Zbl 1352.68063） 全文： 内政部
Lee，Gyesik先生;本杰明·沃纳 具有预测归纳和判断平等性的CC相关证明模型。 （英语） Zbl 1237.03008号 日志。方法计算。科学。 7，第4号，第5号论文，25页（2011年）.MSC公司：03B15号机组 03B35型 03B40型 03E30年 PDF格式BibTeX公司 XML格式引用 \textit｛G.Lee｝和\textit｛B.Werner｝，日志。方法计算。科学。7，第4号，第5号论文，25页（2011年；Zbl 1237.03008） 全文： 内政部 arXiv公司
洛伦佐·卡卢奇;Lee，Gyesik先生;安德烈亚斯·魏尔曼 超图回归Ramsey数的锐化阈值。 （英语） Zbl 1251.05103号 J.库姆。理论，Ser。A类 118，第2期，558-585（2011）. 审核人：Neal Bushaw（孟菲斯） MSC公司：05元55分 05C65号 PDF格式BibTeX公司 XML格式引用 \textit{L.Carlucci}等人，J.Comb。理论，Ser。A 118，No.2，558--585（2011；Zbl 1251.05103） 全文： 内政部
伊利克、丹科;Lee，Gyesik先生;雨果·赫贝林 经典逻辑的克里普克模型。 （英语） Zbl 1225.03009号 Ann.纯粹应用。逻辑 161，第11期，1367-1378（2010）.MSC公司：03B10号机组 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Ilik}等人，Ann.Pure Appl。逻辑161，No.11，1367--1378（2010；Zbl 1225.03009） 全文： 内政部 arXiv公司
Lee，Gyesik先生 卡纳莫里·麦卡龙原理与帕里斯·哈林顿定理的关系。 （英语） Zbl 1268.03081号 Ambos-Spies，Klaus（编辑）等人，《数学理论与计算实践》。2009年7月19日至24日，德国海德堡，第五届欧洲可计算性会议，CiE 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03072-7/pbk）。计算机科学讲座笔记5635，310-323（2009）。MSC公司：30楼03号 03D20日 03英尺15英寸 PDF格式BibTeX公司 XML格式引用 \textit{G.Lee}，莱克特。注释计算。科学。5635、310-323（2009年；Zbl 1268.03081） 全文： 内政部
雨果·赫贝林;Lee，Gyesik先生 Gentzen型直觉序列演算的基于强制的删减。 （英语） Zbl 1246.03072号 Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21日至24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学课堂讲稿5514。《人工智能课堂讲稿》，209-217（2009）。MSC公司：05年3月 03B47号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Herbelin}和\textit{G.Lee}，莱克特。注释计算。科学。5514、209--217（2009；Zbl 1246.03072） 全文： 内政部
Kojman，梅纳切姆;Lee，Gyesik先生;埃兰·奥姆里;安德烈亚斯·魏尔曼 基本递归数和Ackermannian Ramsey数之间的相变的尖锐阈值。 （英语） Zbl 1194.05159号 J.库姆。理论，Ser。A类 115，第6期，1036-1055（2008）.MSC公司：10年5月 PDF格式BibTeX公司 XML格式引用 \textit{M.Kojman}等人，J.Comb。理论，Ser。A 115，编号6，1036--1055（2008；Zbl 1194.05159） 全文： 内政部
Lee，Gyesik先生 二叉树和（最大）顺序类型。 （英语） Zbl 1151.03348号 Cooper，S.Barry（编辑）等人，《现实世界中的计算与逻辑》。第三届欧洲可计算性会议，2007年6月18日至23日，意大利锡耶纳，CiE 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73000-2/pbk）。计算机科学课堂讲稿4497465-473（2007）。MSC公司：2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{G.Lee}，莱克特。注释计算。科学。4497、465--473（2007年；Zbl 1151.03348） 全文： 内政部
Lee，Gyesik先生 （varepsilon_{0}）的著名序数符号系统的比较。 （英语） Zbl 1121.03080号 Ann.纯粹应用。逻辑 147，编号1-2，48-70（2007）. 审核人：M.Yasuhara（普林斯顿） MSC公司：2015年1月3日 30楼03号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{G.Lee}，Ann.纯苹果。逻辑147，编号1--2，48-70（2007；Zbl 1121.03080） 全文： 内政部
Lee，Gyesik先生 公理化思想中的相变。 （英语） Zbl 1082.03048号 穆斯特：穆斯特大学，数学与信息学系，数学与自然科学系，法库特（论文）。viii，110页。(2005). 审核人：安德烈亚·坎蒂尼（费伦泽） MSC公司：2015年1月3日 30楼03号 2005年3月 2015年1月5日 03-02 PDF格式BibTeX公司 XML格式引用 \textit{G.Lee}，公理思想中的相变。穆斯特：穆斯特大学，数学与信息学系，数学与自然科学系，法库特（论文）（2005；Zbl 1082.03048） 全文： 链接