编辑配置文件（在新选项卡中打开） 威廉·麦库恩。 合著者距离 作者ID: mccune.william-w公司 发布日期： 威廉·麦库恩;W.麦库恩。;威廉·麦库恩。 更多。。。较少的 编入索引的文档： 42出版物自1985年以来，包括1本书 1名编辑贡献 传记参考： 2出版物 合著者： 19位合著者具有29联合出版物 171位合作作者 全部的 前5名合著者 13 单作者的 9 兰加纳坦帕德马纳班 9 沃斯，拉里 5 卢斯克，尤因·L。 5 罗伯特·弗罗夫 三 罗斯·A·奥弗贝克。 2 劳伦斯·亨森。 1 乔昂·阿劳乔 1 拉尔夫·巴特勒（Ralph M.Butler）。 1 安德鲁·费斯特 1 布兰登·菲德尔森 1 Kenneth D.M.哈里斯。 1 奥尔加·舒姆斯基·马特林 1 迈克尔·A·罗斯。 1 亚瑟·D·桑兹。 1 奥尔加·舒姆斯基 1 Stickel，Mark E。 1 辛西娅·维克。 1 史蒂文·温克。 1 劳伦斯·A·沃斯。 全部的 前5名系列 11 自动推理杂志 三 代数普遍性 2 计算机与数学及其应用 2 信息处理信件 2 计算机科学课堂讲稿 1 美国数学月刊 1 代数通讯 1 休斯顿数学杂志 1 Beiträge zur代数与几何 1 计算机协会杂志 1 圣母院形式逻辑杂志 1 半群论坛 1 理论计算机科学 1 逻辑程序设计杂志 1 数学与人工智能年鉴 全部的 前5名领域 42 计算机科学（68至XX） 17 数理逻辑与基础（03-XX） 11 阶、格、有序代数结构（06-XX） 8 群论与推广（20-XX） 三 一般代数系统（08-XX） 三 代数几何（14-XX） 1 总体主题；集合（00-XX） 1 几何形状（51至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物被引用273中的次193份文件 引用人▼ 年份▼ 罗宾斯问题的解决方案。 Zbl 0883.06011号 威廉·麦库恩 47 1997 用于术语检索的区分树索引和路径索引实验。 Zbl 0781.68101号 威廉·麦库恩 27 1992 布尔代数的简单公理。 兹比尔1014.06012 威廉·麦库恩;罗伯特·韦洛夫;布兰登·菲德尔森;肯尼思·哈里斯;安德鲁·费斯特;沃斯，拉里 21 2002 方程式逻辑和三次曲线的自动推导。 Zbl 0921.03011号 威廉·麦库恩;帕德马纳班，R。 20 1996 一阶逻辑中的集合论：哥德尔公理的子句。 Zbl 0635.03008号 罗伯特·博伊尔;卢斯克，尤因;威廉·麦库恩;罗斯·奥弗贝克;Stickel，Mark E。;沃斯，劳伦斯 18 1986 具有各种运算的群和阿贝尔群的单一公理。 Zbl 0794.20002号 威廉·麦库恩。 17 1993 水獭2.0. Zbl 1509.68312号 威廉·麦库恩 15 1990 浓缩分离自动演绎实验。 Zbl 0925.68402号 威廉·麦库恩;沃斯，拉里 13 1992 自动演绎在指数群单个公理搜索中的应用。 Zbl 0925.20002号 威廉·麦库恩;沃斯，拉里 7 1992 左群和右群计算的单一公理。 Zbl 0804.03006号 威廉·麦库恩。 6 1993 自动发现左群和右群计算的新公理化。 Zbl 0782.68105号 威廉·麦库恩。 6 1992 格理论和弱结合格的单恒等式。 Zbl 0901.06006号 W.麦库恩。;帕德马纳班，R。 6 1996 自动定理证明的案例研究：在组合逻辑中发现圣人。 Zbl 0636.68121号 威廉·麦库恩;沃斯，拉里 6 1987 三元布尔代数的单恒等式。 兹伯利0811.06013 Padmanabhan，R。;W.麦库恩。 5 1995 不动点组合子的存在与否。 Zbl 0731.03012号 威廉·麦库恩;沃斯，拉里 5 1991 逆半群问题的计算机解法。 Zbl 1202.20065号 乔昂·阿劳乔;威廉·麦库恩 5 2010 维护关系数据库中的状态约束：一个证明理论基础。 Zbl 0677.68106号 威廉·麦库恩。;劳伦斯·亨森。 5 1989 系统描述：IVY。 Zbl 0963.68527号 威廉·麦库恩;奥尔加·舒姆斯基 4 2000 负副调制。 Zbl 0643.68143号 沃斯，L。;W.麦库恩。 4 1986 “自动定理证明的案例研究：在组合逻辑中发现圣人”勘误表。 Zbl 0652.68106号 威廉·麦库恩;沃斯，拉里 4 1988 自动推理有助于数学和逻辑。 Zbl 1509.68326号 沃斯，L。;温克，S。;W.麦库恩。;奥弗贝克，R。;勒斯克，E。;史蒂文斯，R。 4 1990 计算机和人类推理：群和阿贝尔群的单一关联公理。 Zbl 0877.20001号 W.麦库恩。;桑德斯，A.D。 三 1996 自动发现正交格的单个公理。 Zbl 1084.06007号 W.麦库恩。;帕德马纳班，R。;Rose，医学硕士。;R.弗罗夫。 三 2004 非目的化子句集。 兹比尔0709.03007 威廉·麦库恩。 三 1988 高性能自动化定理证明之路。 Zbl 0609.68060号 拉尔夫·巴特勒;卢斯克，尤因;威廉·麦库恩;罗斯·奥弗贝克 2 1986 语义副调制实验。 Zbl 0615.68064号 威廉·麦库恩;劳伦斯·亨森 2 1985 三次曲线的自动推理。 Zbl 0828.68110号 帕德马纳班，R。;W.麦库恩。 2 1995 饱和校准仪的语义指南。 Zbl 1156.68570号 威廉·麦库恩 2 2006 关于基本点集拓扑的自动推理。 Zbl 0675.68049号 辛西娅·维克。;威廉·麦库恩。 2 1989 自动定理证明和逻辑编程：自然共生。 Zbl 0736.68072号 沃斯，拉里;威廉·麦库恩 1 1991 一些正交格恒等式的自动证明和反例。 Zbl 1338.03114号 威廉·麦库恩 1 1998 统一策略：CADE-11定理证明竞赛。 Zbl 0802.68131号 卢斯克，尤因·L。;威廉·麦库恩。 1 1993 还有一条格子法则。 Zbl 1092.03018号 威廉·麦库恩;帕德马纳班，R。;罗伯特·弗罗夫 1 2003 三次曲线上斯坦纳定律的唯一性。 Zbl 1112.14067号 帕德马纳班，R。;W.麦库恩。 1 2006 格律在唯一互补下迫使分配性。 兹比尔1118.06004 Padmanabhan，R。;麦库恩，W。;R.弗罗夫。 1 2007 SPIN并行系统软件。 Zbl 1077.68697号 奥尔加·舒姆斯基·马特林;卢斯克，尤因;威廉·麦库恩 1 2002 关注等式和组合逻辑的挑战性问题：评估自动理论证明程序。 Zbl 0656.68103号 沃斯，拉里;威廉·麦库恩 1 1988 挑战格理论中的等式问题。 Zbl 0656.68107号 威廉·麦库恩 1 1988 逆半群问题的计算机解法。 Zbl 1202.20065号 乔昂·阿劳乔;威廉·麦库恩 5 2010 格律在唯一互补下迫使分配性。 Zbl 1118.06004号 帕德马纳班，R。;W.麦库恩。;R.弗罗夫。 1 2007 饱和校准仪的语义指南。 Zbl 1156.68570号 威廉·麦库恩 2 2006 三次曲线上斯坦纳定律的唯一性。 Zbl 1112.14067号 帕德马纳班，R。;W.麦库恩。 1 2006 自动发现正交格的单个公理。 Zbl 1084.06007号 W.麦库恩。;帕德马纳班，R。;Rose，医学硕士。;R.弗罗夫。 三 2004 还有一条格子法则。 Zbl 1092.03018号 威廉·麦库恩;Padmanabhan，R。;罗伯特·韦洛夫 1 2003 布尔代数的简单公理。 Zbl 1014.06012号 威廉·麦库恩;罗伯特·弗罗夫;布兰登·菲德尔森;肯尼思·哈里斯;安德鲁·费斯特;沃斯，拉里 21 2002 SPIN并行系统软件。 Zbl 1077.68697号 奥尔加·舒姆斯基·马特林;卢斯克，尤因;威廉·麦库恩 1 2002 系统描述：IVY。 Zbl 0963.68527号 威廉·麦库恩;奥尔加·舒姆斯基 4 2000 一些正交格恒等式的自动证明和反例。 Zbl 1338.03114号 威廉·麦库恩 1 1998 罗宾斯问题的解决方案。 Zbl 0883.06011号 威廉·麦库恩 47 1997 方程式逻辑和三次曲线的自动推导。 Zbl 0921.03011号 威廉·麦库恩;帕德马纳班，R。 20 1996 格理论和弱结合格的单恒等式。 Zbl 0901.06006号 W.麦库恩。;帕德马纳班，R。 6 1996 计算机和人类推理：群和阿贝尔群的单一关联公理。 Zbl 0877.20001号 W.麦库恩。;桑德斯，A.D。 三 1996 三元布尔代数的单恒等式。 Zbl 0811.06013号 帕德马纳班，R。;麦库恩，W。 5 1995 关于三次曲线的自动推理。 兹伯利0828.68110 帕德马纳班，R。;W.麦库恩。 2 1995 具有各种运算的群和阿贝尔群的单一公理。 Zbl 0794.20002号 威廉·麦库恩。 17 1993 左群和右群计算的单一公理。 Zbl 0804.03006号 威廉·麦库恩。 6 1993 统一策略：CADE-11定理证明竞赛。 Zbl 0802.68131号 卢斯克，尤因·L。;威廉·麦库恩。 1 1993 用于术语检索的区分树索引和路径索引实验。 Zbl 0781.68101号 威廉·麦库恩 27 1992 浓缩分离自动演绎实验。 Zbl 0925.68402号 威廉·麦库恩;沃斯，拉里 13 1992 自动演绎在指数群单个公理搜索中的应用。 Zbl 0925.20002号 威廉·麦库恩;沃斯，拉里 7 1992 自动发现左群和右群计算的新公理化。 Zbl 0782.68105号 威廉·麦库恩。 6 1992 不动点组合子的存在与否。 Zbl 0731.03012号 威廉·麦库恩;沃斯，拉里 5 1991 自动定理证明和逻辑编程：自然共生。 Zbl 0736.68072号 沃斯，拉里;威廉·麦库恩 1 1991 水獭2.0. Zbl 1509.68312号 威廉·麦库恩 15 1990 自动推理有助于数学和逻辑。 Zbl 1509.68326号 沃斯，L。;温克，S。;W.麦库恩。;奥弗贝克，R。;勒斯克，E。;史蒂文斯，R。 4 1990 维护关系数据库中的状态约束：一个证明理论基础。 Zbl 0677.68106号 威廉·麦库恩。;劳伦斯·亨森。 5 1989 关于基本点集拓扑的自动推理。 Zbl 0675.68049号 辛西娅·A·威克。;威廉·麦库恩。 2 1989 “自动化定理证明的案例研究：在组合逻辑中寻找圣贤”的勘误表。 兹比尔0652.68106 威廉·麦库恩;沃斯，拉里 4 1988 Un-Skolemizing子句集。 Zbl 0709.03007号 威廉·麦库恩。 三 1988 关注等式和组合逻辑的挑战性问题：评估自动理论证明程序。 Zbl 0656.68103号 沃斯，拉里;威廉·麦库恩 1 1988 挑战格理论中的等式问题。 Zbl 0656.68107号 威廉·麦库恩 1 1988 自动定理证明的案例研究：在组合逻辑中发现圣人。 Zbl 0636.68121号 威廉·麦库恩;沃斯，拉里 6 1987 一阶逻辑中的集合论：哥德尔公理的子句。 Zbl 0635.03008号 罗伯特·博伊尔;卢斯克，尤因;威廉·麦库恩;罗斯·奥弗贝克;Stickel，Mark E。;沃斯，劳伦斯 18 1986 负副调制。 Zbl 0643.68143号 沃斯，L。;W.麦库恩。 4 1986 高性能自动定理证明的途径。 Zbl 0609.68060号 拉尔夫·巴特勒;卢斯克，尤因;威廉·麦库恩;罗斯·奥弗贝克 2 1986 语义副调制实验。 Zbl 0615.68064号 威廉·麦库恩;劳伦斯·亨森 2 1985 所有引用出版物 前5名被引用出版物 全部的 前5名228位作者引用 11 沃斯，拉里 10 威廉·麦库恩。 8 奥尼尔，塔辛 7 迈克尔·基扬（Michael K.Kinyon）。 6 阿尔沙姆博鲁曼德·赛义德 6 卡提肯，图格斯 6 Ranganathan的Padmanabhan 6 罗伯特·弗罗夫 5 乔昂·阿劳乔 5 亚当·格拉博夫斯基 5 劳伦斯·查尔斯·保尔森 5 萨特克利夫，杰夫 4 奥莫多，尤金尼奥·乔瓦尼 4 大卫·艾伦（David Alan），Plaisted 4 马修·斯宾克斯 4 约瑟夫·乌尔班 4 克里斯托夫·韦登巴赫 三 迈克尔·比森。 三 克里斯托夫·埃瓦尔德·本兹穆勒 三 玛丽亚·保拉（Maria Paola Bonacina） 三 科恩·克莱森 三 福斯，马提亚斯 三 Jakubův，简 三 肯尼斯·库恩 三 安·利利斯特罗姆 三 尼古拉斯·佩尔蒂埃 三 安德烈·沃伦科夫 三 张健 2 Andrews，Peter B。 2 本赛义德，希查姆 2 马修·毕晓普 2 贾斯敏·克里斯蒂安·布兰切特 2 里卡多·卡费拉 2 楚、恒 2 卡雷尔·奇瓦洛夫斯克 2 西蒙·科尔顿 2 伯恩德·因戈·达恩 2 尼克·菲亚拉（Nick C.Fiala）。 2 安德烈亚·福米萨诺 2 Jieh乡 2 塞萨里·卡利西克 2 塔格·卡尔坎 2 克里斯托夫·克里茨 2 克雷格·E·拉尔森。 2 李世绝 2 李大发 2 阿列克谢·利西萨（Alexei P.Lisitsa）。 2 塔德乌兹·利塔克 2 安德烈亚斯·梅耶 2 罗伯特·纽文胡斯 2 米罗斯拉夫·奥沙克 2 Damian Sawicki 2 斯蒂芬·舒尔茨 2 Schumann，Johann M.博士。 2 易卜拉欣·森特克 2 谢克曼，Jörg H。 2 沃尔克·索尔格 2 Stickel，Mark E。 2 苏布拉曼尼亚，V.S。 2 克里斯蒂安·萨特纳（Christian B.Suttner）。 2 马可·坦佩里尼 2 泰斯，弗兰克 2 尼古拉斯·范·克莱恩普特 2 沃伊特·乔夫斯克，皮特 2 莎拉·温克勒 2 安德烈亚斯·沃尔夫 2 张汉涛 2 张扬 1 基思·M·阿格雷。 1 斯特凡诺·阿古佐利 1 瓦罗尔·阿克曼 1 杰西·阿拉玛 1 杰弗里·亚历山大。 1 阿南塔拉曼，湿婆 1 谢尔盖·奥特西尔 1 安妮迪亚·班纳吉 1 彼得·鲍姆加特纳 1 约翰·吉斯伯特·弗雷德里克·贝林芬特（Johan Gijsbertus Frederik Belinfante） 1 Michael A.Benedikt。 1 沃尔夫冈·比贝尔 1 Böhme，萨沙 1 理查德·博尼肯 1 约翰·博斯 1 克利斯朵夫，很有把握 1 马丁·布隆伯格 1 安娜·克里斯蒂娜·卡西米罗 1 查达、里图 1 斯特凡·康拉德 1 威廉·康拉迪 1 西蒙·克鲁恩斯 1 阿德里安·西萨里克 1 欧内斯特·戴维斯 1 贾里德戴维斯 1 莱昂纳多·德·莫拉 1 汉斯·德·尼维尔 1 大卫·Déharbe 1 大卫·德拉哈耶 1 Damien Doligez 1 Gilles Dowek 1 约尔格恩德鲁利斯 …还有128位作者 全部的 前5名56篇连载文章被引用 42 自动推理杂志 11 符号计算杂志 5 计算机与数学及其应用 4 人工智能 4 信息与计算 4 形式化数学 三 半群论坛 三 纯逻辑与应用逻辑年鉴 三 数学与人工智能年鉴 三 应用逻辑杂志 2 代数通讯 2 信息处理信件 2 代数杂志 2 圣母院形式逻辑杂志 2 Studia Logica公司 2 理论计算机科学 2 软计算 1 离散应用数学 1 离散数学 1 国际通用系统杂志 1 应用数学与计算 1 模糊集与系统 1 数学经济学杂志 1 符号逻辑杂志 1 美国数学学会会刊 1 合成 1 拓扑及其应用 1 计算机科学与技术杂志 1 事实大学。数学与信息学系列 1 国际智能系统杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 人工智能综述 1 数学逻辑档案 1 澳大利亚组合数学杂志 1 应用非经典逻辑杂志 1 计算系统理论 1 安卡拉大学科学学院通信。Séries A1系列。数学与统计学 1 数学年鉴Silesianae 1 并行与计算：实践与经验 1 克拉古耶瓦茨数学杂志 1 印度国家科学院院刊。第一节物理科学 1 逻辑程序设计理论与实践 1 葡萄牙数学。Nova Série公司 1 计算语言学 1 代数杂志及其应用 1 计算机科学中的数学 1 数学密码学杂志 1 计算机科学中的逻辑方法 1 形式化推理杂志 1 程序设计中的逻辑和代数方法杂志 1 开放数学 1 代数结构及其应用 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 范畴和一般代数结构及其应用 1 代数系统杂志 全部的 前5名在20个字段中引用 158 计算机科学（68至XX） 82 数理逻辑与基础（03-XX） 22 阶、格、有序代数结构（06-XX） 19 群论与推广（20-XX） 9 一般代数系统（08-XX） 6 历史和传记（01-XX） 4 组合数学（05-XX） 4 几何形状（51至XX） 三 总体主题；集合（00-XX） 三 数论（11-XX） 三 代数几何（14-XX） 三 信息与通信理论、电路（94-XX） 2 数值分析（65-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 结合环与代数（16-XX） 1 非结合环和代数（17-XX） 1 动力系统和遍历理论（37至XX） 1 流形和细胞复合体（57至XX） 1 统计学（62-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文