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