编辑配置文件(在新选项卡中打开) 查尔斯·格雷洛伊斯 合著者距离 作者ID: 格里利斯沙雷 发布日期: 查尔斯·格雷洛伊斯 已编制索引的文档: 10出版物自2011年起,包括1个附加arXiv预打印 合著者: 5位合著者具有9联合出版物 190位合作作者 合著者 1 单作者的 4 蒂齐亚诺·达尔蒙特 4 尼古拉·奥利维蒂 三 保罗·安德烈·梅利埃 2 乌戈·达尔拉戈 1 直纪小林 系列 1 哲学逻辑杂志 1 计算机科学中的逻辑方法 字段 6 数学逻辑和基础(03-XX) 6 计算机科学(68-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用35中的次23文件 引用人▼ 年份▼ 通过一元仿射大小的键入进行概率终止。 Zbl 1485.68045号 乌戈·达尔拉戈;查尔斯·格雷洛伊斯 7 2017 线性逻辑的金融语义和高阶模型检验。 Zbl 1465.68179号 查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃 7 2015 直觉主义非正规模态逻辑:一般框架。 Zbl 1485.03047号 蒂齐亚诺·达尔蒙特;查尔斯·格雷洛伊斯;尼古拉·奥利维蒂 6 2020 线性逻辑的关系语义和高阶模型检查。 Zbl 1373.68287号 查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃 6 2015 关于概率高阶递归程序的终止问题。 Zbl 1490.68134号 直纪小林;乌戈·达尔·拉戈;查尔斯·格雷洛伊斯 5 2020 线性逻辑的无限模型。 Zbl 1459.03025号 查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃 三 2015 构造模态逻辑的终止计算和反模型。 兹伯利07532528 蒂齐亚诺·达尔蒙特;查尔斯·格雷洛伊斯;尼古拉·奥利维蒂 1 2021 构造模态逻辑的终止计算和反模型。 Zbl 07532528号 蒂齐亚诺·达尔蒙特;查尔斯·格雷洛伊斯;尼古拉·奥利维蒂 1 2021 直觉主义非正规模态逻辑:一般框架。 Zbl 1485.03047号 蒂齐亚诺·达尔蒙特;查尔斯·格雷洛伊斯;尼古拉·奥利维蒂 6 2020 关于概率高阶递归程序的终止问题。 Zbl 1490.68134号 直纪小林;乌戈·达尔·拉戈;查尔斯·格雷洛伊斯 5 2020 通过一元仿射大小的键入进行概率终止。 Zbl 1485.68045号 乌戈·达尔拉戈;查尔斯·格雷洛伊斯 7 2017 线性逻辑的金融语义和高阶模型检验。 Zbl 1465.68179号 查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃 7 2015 线性逻辑的关系语义和高阶模型检查。 Zbl 1373.68287号 查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃 6 2015 线性逻辑的无限模型。 Zbl 1459.03025号 查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃 三 2015 所有引用出版物 前5名被引用出版物 全部的 前5名53位作者引用 5 查尔斯·格雷洛伊斯 4 直纪小林 三 乌戈·达尔拉戈 2 蒂齐亚诺·达尔蒙特 2 Joost-Pieter卡托恩 2 胜本,Shin-ya 2 尼古拉·奥利维蒂 2 津田,武士 1 亚历杭德罗·阿吉雷 1 川崎朝田 1 克莱门·奥伯特 1 马克·巴格诺尔 1 吉尔·巴特 1 埃齐奥·巴托西 1 埃德森·维尼希乌斯·贝泽拉 1 卢克·爱德华·伯克 1 克里希南德·查特吉 1 陈金生 1 藤井宗一郎 1 富士马,Koichi 1 福原洋司 1 埃桑·卡夫什达尔·戈哈沙迪 1 朱塞佩·格雷科 1 马修·黑格 1 北彦浩弘 1 许,贾斯汀 1 奥马尔·因弗索 1 本杰明·卢西恩·卡明斯基 1 平口桂树 1 科瓦奇,劳拉·伊尔迪科 1 克里斯托夫·马提亚 1 埃尔南·梅尔格拉蒂 1 保罗·安德烈·梅利埃 1 迈克尔·门德勒 1 罗兰·梅耶 1 Yo Mitani 1 马塞尔·穆斯布鲁克 1 塞巴斯蒂安·穆斯卡拉 1 诺沃顿,皮特 1 卢卡·帕多瓦尼 1 亚历山德拉·帕尔米吉亚诺 1 帕里斯(Pawe Parys) 1 斯蒂芬·谢勒 1 托马斯·塞勒 1 亚历山德拉·席尔瓦 1 铃木,Ryota 1 卡蒂亚·特鲁比亚尼 1 埃米利奥·托斯托 1 阿波斯托洛斯·齐莫利斯 1 乔治·文丘里 1 托马斯·维查克 1 扎里沃基,基尼 1 朱伊凯利奇,{D} 或{d} e(电子) 全部的 前5名引用于6个系列 2 计算机科学中的逻辑方法 1 信息学报 1 逻辑部分公告 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 逻辑与逻辑哲学 在4个字段中引用 18 计算机科学(68-XX) 8 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文