编辑配置文件(在新选项卡中打开) 约翰·佩斯 合著者距离 作者ID: 佩斯·约翰 发布日期: 约翰·佩斯 已编制索引的文档: 6出版物自1990年以来 合著者: 2合著者具有2联合出版物 3位合作作者 合著者 2 单作者的 1 杰拉尔德·彼得森。 1 理查德·辛格 系列 2 Studia Logica公司 1 符号计算杂志 1 逻辑与计算杂志 1 视觉数学 领域 4 数学逻辑和基础(03-XX) 2 计算机科学(68至XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用9中的次9文件 引用人▼ 年份▼ 使用强制来证明分辨率和副调制的完整性。 Zbl 0723.68093号 约翰·佩斯;杰拉尔德·彼得森。 6 1991 条件逻辑的修订代数语义。 Zbl 0771.03010号 约翰·佩斯 2 1992 计算素数蕴涵。 Zbl 1509.03043号 彼得·杰克逊;约翰·佩斯 1 1990 条件逻辑的修订代数语义。 Zbl 0771.03010号 约翰·佩斯 2 1992 使用强制来证明分辨率和副调制的完整性。 Zbl 0723.68093号 约翰·佩斯;杰拉尔德·彼得森。 6 1991 计算素数蕴涵。 Zbl 1509.03043号 彼得·杰克逊;约翰·佩斯 1 1990 所有引用出版物 前5名被引用出版物 全部的 前5名7位作者引用 2 斯奈德,韦恩 1 穆纳乔·埃切宁 1 康斯坦蒂诺斯·乔治亚托斯 1 尼古拉斯·佩尔蒂埃 1 米歇尔·鲁西诺维奇 1 劳伦·维格纳龙 1 乌韦·沃尔德曼 全部的 前5名6篇连载文章中引用 2 自动推理杂志 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 工程、通信和计算中的应用代数 1 符号逻辑公报 在3个字段中引用 7 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 1 群论与推广(20-XX) 按年份列出的引文