编辑配置文件(在新选项卡中打开) 威廉·克雷格 合著者距离 作者ID: 克雷格·威廉 发布日期: 威廉·克雷格 已编制索引的文档: 45出版物自1952年起,包括2本书和10个附加arXiv预打印 2作为编辑的贡献·1进一步贡献 传记参考: 1出版物 合著者: 19位合著者具有18联合出版物 393合著作者 全部的 前5名合著者 24 单作者的 6 肯·奥诺 4 凯瑟琳·布林曼 三 Jennifer S.Balakrishnan。 三 约书亚·马莱斯 三 潘安娜·英 三 罗伯特·L·沃特。 2 约翰·艾迪生(John T.Addison)。 2 Chang、Chen-Chung 2 莱昂·艾伯特·汉金 2 达娜·斯图尔特·斯科特 2 蔡伟伦 2 van Ittersum,Jan-Willem M。 1 哈伊纳尔·安德雷卡 1 克里斯蒂娜·M·百龄坛。 1 沃特·布里奇斯 1 Burson,Hannah E。 1 朱利亚·塞萨纳 1 咖喱、哈斯克尔·布鲁克斯 1 Madeline Locus道西 1 费斯,罗伯特 1 阿曼达·L·福尔松。 1 韩国牛 1 米尔恰·梅尔卡 1 加拿大纳扎罗格鲁 1 伊斯坦·内梅蒂 1 巴德里·维沙尔·潘迪 1 威拉德·范·奥曼 1 维萨姆·拉吉 1 文博雅 全部的 前5名系列 10 符号逻辑杂志 2 数学进展 2 数论杂志 2 合成 2 纯数学专题讨论会论文集 2 逻辑与数学基础研究 2 数论研究 1 数学分析与应用杂志 1 纯粹与应用代数杂志 1 美国数学学会回忆录 1 圣母院形式逻辑杂志 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 联合国证券交易所 1 组合年刊 1 《科学与自然》Ciencias Exactas皇家科学院修订版。意甲:马特马斯。RACSAM公司 1 数学论坛,西格玛 1 数学科学研究 全部的 前5名领域 17 数理逻辑与基础(03-XX) 15 数论(11-XX) 9 组合数学(05-XX) 4 一般代数系统(08-XX) 三 群论与推广(20-XX) 2 历史和传记(01-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 代数几何(14-XX) 1 非结合环和代数(17-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用41中的次31文件 引用人▼ 年份▼ 组合逻辑。威廉·克雷格(William Craig)的两篇文章。 Zbl 0081.24104号 哈斯克尔·柯里。;费斯,罗伯特 169 1958 Herbrand-Gentzen定理在关联模型理论和证明理论中的三个应用。 Zbl 0079.24502号 威廉·克雷格 154 1957 线性推理。Herbrand-Gentzen定理的一种新形式。 Zbl 0081.24402号 威廉·克雷格 97 1957 关于系统中的公理化。 兹比尔0053.20101 威廉·克雷格 44 1953 使用附加谓词的有限公理化。 Zbl 0085.24601号 W.克雷格。;瓦特·R·L。 30 1959 由Hilbert方案和钩长度引起的分区分布。 Zbl 1494.05008号 凯瑟琳·布林曼;威廉·克雷格;约书亚·马莱斯;小野,肯 12 2022 代数形式的逻辑。三种语言和理论。 Zbl 0312.02049号 威廉·克雷格 10 1974 关于正则分划的高阶Turán不等式的注记。 兹比尔1456.05016 威廉·克雷格;安娜·潘 8 2021 莱默关于拉马努扬τ函数猜想的变化。 Zbl 1497.11080号 Jennifer S.Balakrishnan。;威廉·克雷格;肯·奥诺 7 2022 部分函数的近等式和等式逻辑系统。一、。 Zbl 0691.03016号 威廉·克雷格 6 1989 第阶语言中定义的第阶语言的满意度。 Zbl 0199.00304号 威廉·克雷格 5 1965 莱默对新形式推测的变体。 Zbl 1533.11077号 Jennifer S.Balakrishnan。;威廉·克雷格;肯·奥诺;蔡伟伦 5 2023 部分函数在依赖于存在的Kleene等式下的逻辑系统。 Zbl 0663.08004号 安德雷卡,H。;克雷格,W。;内梅蒂,我。 4 1988 通向逻辑两个定理的道路。 Zbl 1171.03017号 威廉·克雷格 4 2008 分区中\(t\)-hook的分布属性。 Zbl 1472.05015号 威廉·克雷格;安娜·潘 三 2021 一阶理论和子理论的基础。 兹伯利0108.00304 威廉·克雷格 三 1960 代数逻辑中的统一和抽象。 Zbl 0343.02045号 威廉·克雷格 三 1974 关于将同余类划分为不同部分的部分数。 Zbl 1505.11135号 威廉·克雷格 三 2022 海藻代数和分区的索引统计。 Zbl 07732447号 威廉·克雷格 三 2023 塔斯基研讨会会议记录。在阿尔弗雷德·塔斯基70岁生日之际,为纪念他举行了一次国际研讨会。1971年6月23日至30日在加州大学伯克利分校举行。 Zbl 0291.00009 2 1974 关于简化为对称关系。 Zbl 0047.00902号 威廉·克雷格;W.V.奎因。 2 1952 基于唯一无冗余非递减因子分解的对称群表示。 Zbl 0395.20018号 威廉·克雷格 1 1978 布尔概念扩展到更高维度。 Zbl 0166.25901号 W.克雷格。 1 1965 逻辑中的消除问题:简史。 Zbl 1169.03002号 威廉·克雷格 1 2008 部分函数的近似等式和等式逻辑系统。二、。 Zbl 0716.03021号 威廉·克雷格 1 1989 莱默对新形式推测的变体。 Zbl 1533.11077号 Jennifer S.Balakrishnan。;威廉·克雷格;肯·奥诺;蔡伟伦 5 2023 海藻代数和分区的索引统计。 兹伯利07732447 威廉·克雷格 三 2023 由Hilbert方案和钩长度引起的分区分布。 Zbl 1494.05008号 凯瑟琳·布林曼;威廉·克雷格;雄性,约书亚;肯·奥诺 12 2022 莱默关于拉马努扬τ函数猜想的变化。 Zbl 1497.11080号 Jennifer S.Balakrishnan。;威廉·克雷格;肯·奥诺 7 2022 关于将同余类中的部分划分为不同部分的数量。 Zbl 1505.11135号 威廉·克雷格 三 2022 关于正则分划的高阶Turán不等式的注记。 Zbl 1456.05016号 威廉·克雷格;安娜·潘 8 2021 分区中\(t\)-hook的分布属性。 Zbl 1472.05015号 威廉·克雷格;安娜·潘 三 2021 通向逻辑两个定理的道路。 Zbl 1171.03017号 威廉·克雷格 4 2008 逻辑中的消除问题:简史。 Zbl 1169.03002号 威廉·克雷格 1 2008 部分函数的近等式和等式逻辑系统。一、。 Zbl 0691.03016号 威廉·克雷格 6 1989 部分函数的近等式和等式逻辑系统。二、。 Zbl 0716.03021号 威廉·克雷格 1 1989 部分函数在依赖于存在的Kleene等式下的逻辑系统。 Zbl 0663.08004号 安德雷卡,H。;克雷格,W。;内梅蒂,我。 4 1988 基于唯一无冗余非递减因子分解的对称群表示。 Zbl 0395.20018号 威廉·克雷格 1 1978 代数形式的逻辑。三种语言和理论。 Zbl 0312.02049号 威廉·克雷格 10 1974 代数逻辑中的统一和抽象。 Zbl 0343.02045号 威廉·克雷格 三 1974 塔斯基研讨会会议记录。在阿尔弗雷德·塔斯基70岁生日之际,为纪念他举行了一次国际研讨会。1971年6月23日至30日在加州大学伯克利分校举行。 Zbl 0291.00009 2 1974 第阶语言中定义的第阶语言的满意度。 Zbl 0199.00304号 威廉·克雷格 5 1965 布尔概念扩展到更高维度。 Zbl 0166.25901号 W.克雷格。 1 1965 一阶理论和子理论的基础。 Zbl 0108.00304号 威廉·克雷格 三 1960 使用附加谓词的有限公理化。 Zbl 0085.24601号 W.克雷格。;瓦特·R·L。 30 1959 组合逻辑。威廉·克雷格(William Craig)的两篇文章。 Zbl 0081.24104号 哈斯克尔·柯里。;费斯,罗伯特 169 1958 Herbrand-Gentzen定理在关联模型理论和证明理论中的三个应用。 Zbl 0079.24502号 威廉·克雷格 154 1957 线性推理。Herbrand-Gentzen定理的一种新形式。 兹比尔0081.24402 威廉·克雷格 97 1957 关于系统中的公理化。 Zbl 0053.20101 威廉·克雷格 44 1953 关于归约为对称关系。 Zbl 0047.00902号 威廉·克雷格;W.V.奎因。 2 1952 所有引用出版物 前5名被引用出版物 全部的 前5名44位作者引用 8 威廉·克雷格 6 约书亚·马莱斯 5 肯·奥诺 4 Jennifer S.Balakrishnan。 三 蔡伟伦 2 沃特·布里奇斯 2 Janet J.W.Dong。 2 约翰·弗兰克 2 克里斯蒂安·加季齐卡 2 伯恩哈德·恩斯特·海姆 2 吉,凯西·青 2 马库斯·纽豪泽 1 马利克·埃米尔 1 克里斯蒂娜·M·百龄坛。 1 布伦南·本菲尔德 1 迈克尔·贝内特(Michael A.Bennett)。 1 凯瑟琳·布林曼 1 Burson,Hannah E。 1 朱利亚·塞萨纳 1 谢恩·切恩 1 阿曼达·L·福尔松。 1 泰勒·加诺夫斯基 1 阿德拉·戈尔加 1 萨诺利枪 1 安德烈亚斯·哈齐利欧 1 费耶·杰克逊 1 贾,Dennis X.Q。 1 丹尼尔·约翰斯顿。 1 林文文 1 马文军 1 尼古拉斯·梅耶斯。 1 埃莉诺·麦克斯皮里特 1 维贾亚·库马尔·穆蒂 1 塔达西冈崎 1 科马克·奥沙利文 1 Misheel Otgonbayar公司 1 范迪塔·帕特尔 1 Biplab保罗 1 马杜米塔·保罗 1 阿林达姆·罗伊 1 克里斯汀·谢克尔霍夫 1 萨米尔·西克塞克 1 罗伯特·特罗格 1 文博雅 全部的 前5名18篇连载文章中引用 5 数论杂志 4 数论研究 三 数学分析与应用杂志 三 数学进展 2 Ramanujan杂志 2 数学科学研究 1 澳大利亚数学学会公报 1 数学年刊 1 Monatsheft für Mathematik 1 爱丁堡数学学会会刊。系列II 1 组合年刊 1 高能物理杂志 1 整数 1 西格玛。对称性、可积性和几何:方法和应用 1 数学论坛,西格玛 1 魁北克数学年鉴 1 DML。离散数学字母 1 拉马特马提卡 全部的 前5名10个领域引用 30 数论(11-XX) 17 组合数学(05-XX) 2 代数几何(14-XX) 2 非结合环和代数(17-XX) 2 复变量的函数(30年XX月) 1 实际功能(26年X月X日) 1 特殊功能(33至XX) 1 差分和函数方程(39至XX) 1 概率论与随机过程(60-XX) 1 量子理论(81-XX) 按年份列出的引文