编辑配置文件(在新选项卡中打开) Lee,Gyesik先生 合著者距离 作者ID: 李·盖西克 发布日期: Lee,Gyesik先生 已编制索引的文档: 15出版物自2005年以来,包括1本书 1名编辑贡献 合著者: 22位合著者具有10联合出版物 365位合作作者 全部的 前5名合著者 5 单作者的 2 雨果·赫贝林 2 安德烈亚斯·魏尔曼 1 巴卡雷拉,D。 1 约格·布伦德尔 1 洛伦佐·卡卢奇 1 成坤·赵 1 雨果·赫伯林 1 伊利克、丹科 1 Kim,Byunghan先生 1 Kim,Hwajeong先生 1 Kim、Sunyoung 1 Kojman,梅纳切姆 1 刘芬荣 1 刘,乔 1 B.Mcgann。 1 布鲁诺·C·d·S·奥利维拉。 1 埃兰·奥姆里 1 Park,琼云 1 松武公园 1 Seo、Jeongbong 1 沙希·穆罕·斯利瓦斯塔瓦 1 秋田筑波 1 本杰明·沃纳 1 Yi,Kwangkeun先生 1 余、梁 全部的 前5名系列 2 组合理论杂志。系列A 2 韩国数学学会杂志 2 纯逻辑与应用逻辑年鉴 1 流体力学杂志 1 自动推理杂志 1 韩国数学学会通讯 1 计算机科学中的逻辑方法 全部的 前5名字段 11 数学逻辑和基础(03-XX) 4 组合数学(05-XX) 4 计算机科学(68-XX) 1 总体主题;集合(00-XX) 1 流体力学(76-XX) 1 经典热力学,传热(80-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 14出版物有被引用49中的次39文件 引用人▼ 年份▼ 基本递归数和Ackermannian Ramsey数之间的相变的尖锐阈值。 Zbl 1194.05159号 梅纳赫姆·科杰曼;Lee,Gyesik先生;埃兰·奥姆里;安德烈亚斯·魏尔曼 9 2008 公理化思想中的相变。 兹比尔1082.03048 Lee,Gyesik先生 9 2005 超图回归Ramsey数的锐化阈值。 Zbl 1251.05103号 洛伦佐·卡卢奇;Lee,Gyesik先生;安德烈亚斯·魏尔曼 7 2011 经典逻辑的克里普克模型。 Zbl 1225.03009号 伊利克、丹科;Lee,Gyesik先生;雨果·赫贝林 7 2010 GMeta:用于一阶表示的通用形式元理论框架。 Zbl 1352.68063号 Lee,Gyesik先生;布鲁诺·C·d·S·奥利维拉。;成坤·赵;Yi,Kwangkeun先生 三 2012 Gentzen型直觉序列演算的基于强制的割消去。 Zbl 1246.03072号 雨果·赫贝林;Lee,Gyesik先生 三 2009 具有预测归纳和判断平等性的CC相关证明模型。 Zbl 1237.03008号 Lee,Gyesik先生;本杰明·沃纳 三 2011 机械化元理论,无需键入上下文。 Zbl 1332.68203号 Park,琼云;Seo、Jeongbong;松武公园;Lee,Gyesik先生 2 2014 Friedman-Weiermann风格的独立性超越了Peano算法。 兹比尔1349.03083 Lee,Gyesik先生 2 2014 二叉树和(最大)顺序类型。 Zbl 1151.03348号 Lee,Gyesik先生 1 2007 第14届和第15届亚洲逻辑会议记录,印度孟买,2015年1月5日至8日,韩国大田,2017年7月10日至14日。 Zbl 1419.03006号 1 2019 (varepsilon_{0})的著名序数符号系统的比较。 Zbl 1121.03080号 Lee,Gyesik先生 1 2007 圆形模型超燃冲压发动机中的隔离器-燃烧室相互作用,以及热阻塞和非热阻塞引起的非起动。 Zbl 1493.76119号 巴卡雷拉,D。;刘,Q。;麦甘,B。;李·G·。;T·李。 1 2021 形式化一阶谓词逻辑的元理论。 Zbl 1521.03024号 雨果·赫伯林;Kim、Sun Young;Lee,Gyesik先生 1 2017 圆形模型超燃冲压发动机中的隔离器-燃烧室相互作用,以及热阻塞和非热阻塞引起的非起动。 Zbl 1493.76119号 巴卡雷拉,D。;刘,Q。;B.麦甘。;李·G·。;T·李。 1 2021 第14届和第15届亚洲逻辑会议论文集,印度孟买,2015年1月5日至8日,韩国大田,2017年7月10日至14日。 Zbl 1419.03006号 1 2019 形式化一阶谓词逻辑的元理论。 Zbl 1521.03024号 雨果·赫伯林;Kim、Sun Young;Lee,Gyesik先生 1 2017 机械化元理论,无需键入上下文。 Zbl 1332.68203号 Park,琼云;Seo、Jeongbong;松武公园;Lee,Gyesik先生 2 2014 Friedman-Weiermann式的独立性结果超出了Peano算法。 Zbl 1349.03083号 Lee,Gyesik先生 2 2014 GMeta:用于一阶表示的通用形式元理论框架。 Zbl 1352.68063号 Lee,Gyesik先生;布鲁诺·C·d·S·奥利维拉。;成坤·赵;Yi,Kwangkeun先生 三 2012 超图回归Ramsey数的锐化阈值。 Zbl 1251.05103号 洛伦佐·卡卢奇;Lee,Gyesik先生;安德烈亚斯·魏尔曼 7 2011 具有预测归纳和判断平等性的CC相关证明模型。 Zbl 1237.03008号 Lee,Gyesik先生;本杰明·沃纳 三 2011 经典逻辑的克里普克模型。 Zbl 1225.03009号 伊利克、丹科;Lee,Gyesik先生;雨果·赫贝林 7 2010 Gentzen型直觉序列演算的基于强制的删减。 Zbl 1246.03072号 雨果·赫贝林;Lee,Gyesik先生 三 2009 基本递归数和Ackermannian Ramsey数之间的相变的尖锐阈值。 Zbl 1194.05159号 梅纳赫姆·科杰曼;Lee,Gyesik先生;埃兰·奥姆里;安德烈亚斯·魏尔曼 9 2008 二叉树和(最大)顺序类型。 Zbl 1151.03348号 李吉西克 1 2007 (varepsilon_{0})的著名序数符号系统的比较。 Zbl 1121.03080号 Lee,Gyesik先生 1 2007 公理化思想中的相变。 Zbl 1082.03048号 Lee,Gyesik先生 9 2005 所有引用出版物 排名前五的出版物 全部的 前5名61位作者引用 8 安德烈亚斯·魏尔曼 5 Lee,Gyesik先生 三 伊莱恩·皮门特尔 2 纪尧姆·阿拉伊斯 2 安德烈·博维金。 2 洛伦佐·卡卢奇 2 亚历杭德罗·迪亚斯·卡洛 2 Gilles Dowek 2 伊利克、丹科 2 埃兰·奥姆里 2 弗洛里安·佩卢佩西 2 路易斯·卡洛斯·佩雷拉(Luiz Carlos P.D.Pereira)。 2 冈纳·威尔肯 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 莫伊塔巴·阿盖伊 1 罗伯特·艾奇 1 布鲁诺·本岑 1 西尔维·博尔多 1 安德烈斯·爱德华多·凯塞多 1 詹姆斯·查普曼(James T.E.Chapman)。 1 弗朗索瓦·克莱门特 1 瓦莱里亚·德·佩瓦 1 米歇尔·德·斯梅特 1 德尔·卡门·冈萨雷斯(del Carmen González Huesca),卢尔德 1 克里斯蒂安·多兹卡尔 1 Jean-Christophe Filliátre 1 雅克·加里格 1 洛伦佐盖里 1 Aliya Hameer 1 雨果·赫贝林 1 阿米尔·坎什 1 Kim,Hwajeong先生 1 Kojman,梅纳切姆 1 Chuck Liang先生 1 利纳雷斯·阿雷瓦洛(Linares Arévalo)、皮拉尔·塞莱恩(Pilar Selene) 1 索尼娅·马林 1 米凯拉·梅耶罗 1 康诺·托马斯·麦克布莱德 1 詹姆斯·麦金纳 1 梅西亚,迭戈·亚历杭德罗 1 纪尧姆·梅尔金德 1 米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 1 阿尔贝托·莫米利亚诺 1 卡洛斯·奥拉特 1 大田康彦 1 费多尔·帕霍莫夫。 1 碧姬·品特卡 1 迈克尔·拉特扬 1 销售,艾默生 1 佐藤,Masahiro 1 史蒂文·施费尔 1 安德斯·施利奇特克鲁尔 1 格特·斯莫尔卡 1 索索、马蒂厄 1 凯瑟琳·斯塔克 1 阿明·蒂曼尼 1 范德米伦(Jeroen Van der Meeren) 1 温·范霍夫 1 皮埃尔·韦斯 1 布鲁诺·泽维尔 1 康拉德·兹达诺夫斯基 全部的 前5名16篇连载文章中引用 6 纯逻辑与应用逻辑年鉴 三 自动推理杂志 三 MSCS公司。计算机科学中的数学结构 2 组合理论杂志。系列A 2 圣母院形式逻辑杂志 2 美国数学学会会刊 2 数学逻辑档案 2 函数编程杂志 1 符号逻辑杂志 1 合成 1 理论计算机科学 1 欧洲组合数学杂志 1 应用非经典逻辑杂志 1 《数理逻辑季刊》 1 韩国数学学会通讯 1 Steklov数学研究所学报 全部的 前5名在7个字段中引用 27 数学逻辑和基础(03-XX) 14 计算机科学(68-XX) 9 组合数学(05-XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 偏微分方程(35-XX) 1 数值分析(65-XX) 按年份列出的引文