编辑配置文件(在新选项卡中打开) 普莱斯,格雷格 合著者距离 作者ID: 价格.greg 发布日期: 普莱斯,格雷格 已编制索引的文档: 2出版物自2006年起 合著者: 2合著者具有2联合出版物 86位合作作者 合著者 0 单作者的 2 考斯托夫·乔杜里 2 弗兰克·芬宁 系列 1 自动推理杂志 字段 2 数学逻辑和基础(03-XX) 2 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用21中的次21文件 引用人▼ 年份▼ 逆方法中正向和反向链接的逻辑特征。 Zbl 1151.03006号 考斯托夫·乔杜里;弗兰克·芬宁;普莱斯,格雷格 18 2008 逆方法中正向和反向链接的逻辑特征。 Zbl 1222.68358号 考斯托夫·乔杜里;弗兰克·芬宁;普莱斯,格雷格 三 2006 逆方法中正向和反向链接的逻辑特征。 Zbl 1151.03006号 考斯托夫·乔杜里;弗兰克·芬宁;普莱斯,格雷格 18 2008 逆方法中正向和反向链接的逻辑特征。 Zbl 1222.68358号 考斯托夫·乔杜里;弗兰克·芬宁;普莱斯,格雷格 三 2006 所有引用出版物 前5名被引用出版物 全部的 前5名23位作者引用 6 考斯托夫·乔杜里 4 戴尔·艾伦·米勒 三 索尼娅·马林 三 Vivek Nigam先生 2 布洛克-南内斯塔德,陶斯 2 弗兰克·芬宁 2 伊莱恩·皮门特尔 1 纪尧姆·伯勒 1 扎卡里亚·奇哈尼 1 埃斯皮里托·桑托(Espírito Santo)、何塞·卡洛斯(JoséCarlos) 1 亚历山大五世(Alexander V.Gheorghiu)。 1 尼古拉斯,猜猜看 1 梁,查克 1 肖恩·麦克劳林 1 乔安·内托 1 普莱斯,格雷格 1 萨马尔·拉赫穆尼 1 吉赛尔·赖斯 1 费边·雷诺 1 哈拉尔德街 1 西蒙斯(Robert jun Simmons)。 1 卢茨斯特拉汉堡 1 马尔科·沃尔佩 全部的 前5名7篇连载文章中引用 三 自动推理杂志 2 计算机科学中的数学结构 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 逻辑程序设计的理论与实践 1 ACM计算逻辑事务 在2个字段中引用 18 数学逻辑和基础(03-XX) 13 计算机科学(68至XX) 按年份列出的引文