编辑配置文件(在新选项卡中打开) 考斯托夫·乔杜里 合著者距离 作者ID: 乔杜里·考斯特夫 发布日期: 考斯托夫·乔杜里 外部链接: MGP公司 已编制索引的文档: 28出版物自2005年以来 1作为编辑的贡献 合著者: 19位合著者具有20联合出版物 294位合作作者 全部的 前5名合著者 8 单作者的 4 戴尔·艾伦·米勒 4 弗兰克·芬宁 三 吉赛尔·赖斯 三 卢茨斯特拉汉堡 2 乔尔·德斯佩鲁 2 尼古拉斯,猜猜看 2 斯特凡·赫兹尔 2 索尼娅·马林 2 普莱斯,格雷格 2 王玉婷 1 法拉·瓦达尼 1 大卫·巴尔德 1 布洛克-南内斯塔德,陶斯 1 安德鲁·加塞克 1 戈帕兰·纳达图尔 1 卡洛斯·奥拉特 1 伊莱恩·皮门特尔 1 南方,玛丽 1 阿文·费尔南托 系列 三 MSCS公司。计算机科学中的数学结构 1 理论计算机科学 1 自动推理杂志 1 逻辑与计算杂志 1 形式化推理杂志 领域 27 数理逻辑与基础(03-XX) 16 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 22出版物有被引用132次84文件 引用人▼ 年份▼ Abella:关于关系规范的推理系统。 Zbl 1451.68315号 大卫·巴尔德;考斯托夫·乔杜里;安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔;Tiu,Alwen先生;王玉婷 25 2014 逆方法中正向和反向链接的逻辑特征。 Zbl 1151.03006号 考斯托夫·乔杜里;弗兰克·芬宁;普莱斯,格雷格 18 2008 结构的集中演算。 Zbl 1247.03117号 考斯托夫·乔杜里;尼古拉斯,猜猜看;卢茨斯特拉汉堡 10 2011 经典次指数逻辑和直觉次指数逻辑同样具有表现力。 兹比尔1287.03057 考斯托夫·乔杜里 9 2010 重点介绍线性逻辑的逆方法。 兹比尔1136.03338 考斯托夫·乔杜里;弗兰克·芬宁 7 2005 合成连接词顺序演算中的聚焦策略。 Zbl 1182.03103号 考斯托夫·乔杜里 7 2008 直觉模态逻辑的模块化集中证明系统。 Zbl 1387.03016号 考斯托夫·乔杜里;索尼娅·马林;卢茨斯特拉汉堡 7 2016 具有次指数的线性逻辑中双图结构的一种充分组合编码。 Zbl 1471.03086号 考斯托夫·乔杜里;吉赛尔·赖斯 6 2015 子结构逻辑顺序计算的形式化元理论。 兹比尔1401.03033 考斯托夫·乔杜里;莱昂纳多·利马;吉赛尔·赖斯 5 2017 约束转换系统的混合线性逻辑。 Zbl 1359.03027号 乔尔·德斯佩鲁;考斯托夫·乔杜里 5 2014 与扩展证明同构的多焦点证明系统。 Zbl 1403.03118号 考斯托夫·乔杜里;斯特凡·赫兹尔;戴尔·米勒 5 2016 线性逻辑顺序计算的形式化元理论。 Zbl 1425.03007号 考斯托夫·乔杜里;莱昂纳多·利马;吉赛尔·赖斯 4 2019 一阶线性逻辑聚焦逆方法定理证明器。 Zbl 1135.68554号 考斯托夫·乔杜里;弗兰克·芬宁 4 2005 聚焦和合成嵌套序列。 Zbl 1476.03080号 考斯托夫·乔杜里;索尼娅·马林;卢茨斯特拉汉堡 4 2016 反向方法中正向和反向链接的一种逻辑特征。 Zbl 1222.68358号 考斯托夫·乔杜里;弗兰克·芬宁;普莱斯,格雷格 三 2006 乘法次指数逻辑的不可判定性。 Zbl 1486.03103号 考斯托夫·乔杜里 三 2015 混合线性逻辑,重温。 Zbl 1456.03095号 考斯托夫·乔杜里;乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 2 2019 经典序列演算中规范性的系统方法。 Zbl 1252.03128号 考斯托夫·乔杜里;斯特凡·赫兹尔;戴尔·米勒 2 2012 作为交互方法的子公式链接。 Zbl 1317.68204号 乔杜里,考斯图夫 2 2013 使用动态极性分配魔法约束逆方法。 Zbl 1306.68005号 考斯托夫·乔杜里 2 2010 线性逻辑的紧凑证明。 Zbl 1383.68073号 考斯托夫·乔杜里 1 2012 对类型化规范语言进行推理的两级逻辑方法。 Zbl 1360.68601号 南方,玛丽;考斯托夫·乔杜里 1 2014 线性逻辑顺序计算的形式化元理论。 Zbl 1425.03007号 考斯托夫·乔杜里;莱昂纳多·利马;吉赛尔·赖斯 4 2019 混合线性逻辑,重温。 Zbl 1456.03095号 考斯托夫·乔杜里;乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 2 2019 子结构逻辑顺序计算的形式化元理论。 Zbl 1401.03033号 乔杜里,考斯图夫;莱昂纳多·利马;吉赛尔·赖斯 5 2017 直觉模态逻辑的模块化聚焦证明系统。 Zbl 1387.03016号 考斯托夫·乔杜里;索尼娅·马林;卢茨斯特拉汉堡 7 2016 与扩展证明同构的多焦点证明系统。 Zbl 1403.03118号 考斯托夫·乔杜里;斯特凡·赫兹尔;戴尔·米勒 5 2016 聚焦和合成嵌套序列。 Zbl 1476.03080号 考斯托夫·乔杜里;索尼娅·马林;卢茨斯特拉汉堡 4 2016 具有次指数的线性逻辑中双图结构的一种充分组合编码。 Zbl 1471.03086号 考斯托夫·乔杜里;吉赛尔·赖斯 6 2015 乘法次指数逻辑的不可解性。 Zbl 1486.03103号 考斯托夫·乔杜里 三 2015 Abella:关于关系规范的推理系统。 Zbl 1451.68315号 大卫·巴尔德;考斯托夫·乔杜里;安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔;Tiu,Alwen先生;王玉婷 25 2014 约束转换系统的混合线性逻辑。 Zbl 1359.03027号 乔尔·德斯佩鲁;考斯托夫·乔杜里 5 2014 对类型化规范语言进行推理的两级逻辑方法。 Zbl 1360.68601号 南方,玛丽;考斯托夫·乔杜里 1 2014 作为交互方法的子公式链接。 Zbl 1317.68204号 考斯托夫·乔杜里 2 2013 经典序列演算中规范性的系统方法。 Zbl 1252.03128号 乔杜里,考斯图夫;斯特凡·赫兹尔;戴尔·米勒 2 2012 线性逻辑的紧凑证明。 Zbl 1383.68073号 乔杜里,考斯图夫 1 2012 结构的集中演算。 Zbl 1247.03117号 考斯托夫·乔杜里;尼古拉斯,猜猜看;卢茨斯特拉汉堡 10 2011 经典次指数逻辑和直觉次指数逻辑同样具有表现力。 Zbl 1287.03057号 考斯托夫·乔杜里 9 2010 使用动态极性分配魔法约束逆方法。 Zbl 1306.68005号 考斯托夫·乔杜里 2 2010 逆方法中正向和反向链接的逻辑特征。 Zbl 1151.03006号 乔杜里,考斯图夫;弗兰克·芬宁;普莱斯,格雷格 18 2008 合成连接词顺序演算中的聚焦策略。 Zbl 1182.03103号 考斯托夫·乔杜里 7 2008 逆方法中正向和反向链接的逻辑特征。 Zbl 1222.68358号 考斯托夫·乔杜里;弗兰克·芬宁;普莱斯,格雷格 三 2006 重点介绍线性逻辑的逆方法。 Zbl 1136.03338号 考斯托夫·乔杜里;弗兰克·芬宁 7 2005 一阶线性逻辑聚焦逆方法定理证明器。 Zbl 1135.68554号 考斯托夫·乔杜里;弗兰克·芬宁 4 2005 所有引用出版物 排名前五的出版物 全部的 前5名102位作者引用 11 伊莱恩·皮门特尔 10 考斯托夫·乔杜里 9 卡洛斯·奥拉特 8 戴尔·艾伦·米勒 8 卢茨斯特拉汉堡 6 罗斯·霍恩 6 Vivek Nigam先生 5 吉赛尔·赖斯 4 布洛克-南内斯塔德,陶斯 4 索尼娅·马林 三 尼古拉斯,猜猜看 三 Kanovich、Max Iosifovich 三 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 三 弗兰克·芬宁 三 安德烈·斯克洛夫 三 阿文·费尔南托 三 尼科洛·维尔特里 三 布鲁诺·泽维尔 2 马特奥·阿克拉维奥 2 米歇尔·巴萨尔德拉 2 埃本·布莱斯德尔 2 Joëlle Despeyroux公司 2 艾米·费尔蒂(Amy P.Felty)。 2 拉杰夫·普拉巴卡尔·戈尔 2 托梅尔·利巴尔 2 碧姬·品特卡 2 亚历克西斯·索林 2 川崎捷瑞 2 马尔科·沃尔佩 1 安基永 1 法拉·瓦尔达尼 1 纪尧姆·安巴尔 1 大卫·巴尔德 1 蒂鲍特·巴拉邦斯基 1 纪尧姆·伯勒 1 路易斯·凯雷斯 1 戴维·卡塔 1 詹姆斯·切尼 1 戴维·齐亚鲁吉 1 扎卡里亚·奇哈尼 1 马蒂奥·奇米尼 1 加布里埃尔·乔巴努 1 凯特琳·达布雷拉 1 Jeremy E.道森。 1 瓦莱里亚·德·佩瓦 1 埃斯皮里托·桑托(Espírito Santo)、何塞·卡洛斯(JoséCarlos) 1 莫雷诺法拉斯基 1 亚历山大·盖奥尔基乌。 1 洛伦佐·盖里 1 玛丽安娜·吉兰多 1 费鲁奇奥·吉迪 1 尤里安·黑格 1 克里斯蒂安·哈格梅耶 1 滨野、Masahiro 1 戴安娜·赫米思 1 侯哲 1 罗莎莉,伊姆霍夫 1 Jonas Pilgaard凯撒 1 多米尼克·柯斯特 1 罗马库兹涅茨 1 安托万·兰科 1 比约恩·莱尔曼 1 塞尔盖·伦格利特 1 Chuck Liang先生 1 刘,杨 1 穆罕默德·尤斯里·马哈茂德 1 马可·曼托瓦尼 1 绍克·莫 1 肖恩·麦克劳林 1 纪尧姆·梅尔金德 1 朱利叶斯·迈克利斯 1 阿尔贝托·莫米利亚诺 1 乔安·内托 1 托比亚斯·尼普科 1 诺瓦科维奇 1 费德里科·奥林皮耶里 1 多米尼克·A·乌节。 1 路易斯·卡洛斯·佩雷拉(Luiz Carlos P.D.Pereira)。 1 罗利·佩雷拉 1 佩雷斯(Jorge A.Pérez)。 1 普莱斯,格雷格 1 萨马尔·拉赫穆尼 1 费边·雷诺 1 哈拉尔德街 1 克劳迪奥·萨塞尔多蒂·科恩 1 销售,艾默生 1 大卫·桑 1 阿兰·施密特 1 菲利普·斯科特。 1 亚历杭德罗·塞拉诺 1 伊恩·希利托 1 西蒙斯(Robert jun Simmons)。 1 格特·斯莫尔卡 1 斯诺,扎卡里 1 恩里科·塔西 1 大卫·希伯多 1 伯纳多·托尼霍 1 塔尔莫乌斯塔卢 1 艾丽斯·范德吉森 1 亚历山大·维埃尔 …还有另外两位作者 全部的 前5名11篇连载文章中引用 13 MSCS公司。计算机科学中的数学结构 7 理论计算机科学 7 自动推理杂志 2 数学与人工智能年鉴 2 逻辑程序设计理论与实践 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 数学逻辑档案 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 在5个字段中引用 63 数理逻辑与基础(03-XX) 52 计算机科学(68至XX) 2 范畴理论;同调代数(18-XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文