编辑配置文件(在新选项卡中打开) 马特·考夫曼 合著者距离 作者ID: 考夫曼·马特 发布日期: 马特·考夫曼;考夫曼,M。 编入索引的文档: 48出版物自1977年起 3作为编辑的贡献·2进一步捐款 合著者: 38位合著者具有37联合出版物 965联合作者 全部的 前5名合著者 14 单作者的 12 J Strother摩尔 4 肯尼思·乔恩·巴韦斯 4 詹姆斯·施默尔(James H.Schmerl)。 3 沃伦·亨特(Warren A.jun Hunt)。 3 霍华德·杰罗姆·凯斯勒 3 桑迪普·雷 3 萨拉、撒哈拉 2 约翰·鲍德温(John T.Baldwin)。 2 安德烈亚斯·鲍迪什 2 马克斯·迪克曼(Max A.Dickmann)。 2 海因茨·迪特,埃宾豪斯 2 保罗·埃克洛夫。 2 阿里·埃纳亚特 2 所罗门·费弗曼 2 弗鲁姆,约格 2 Heule,Marijn J.H。 2 约翰·霍蒂。 2 Phokion G.科莱蒂斯。 2 迈克尔·麦凯 2 约翰·安德烈亚斯·马考斯基 2 大卫·查尔斯·麦卡蒂 2 扎奇里·麦肯齐 2 丹尼尔·蒙迪奇 2 沃尔夫冈·马斯奇克 2 马克·纳德尔(Mark E.Nadel)。 2 拉杰,大卫·L。 2 Seese,Detlef G。 2 查尔斯·斯坦霍恩。 2 汉斯·彼得·塔奇克 2 Väänänen,Jouko Antero 2 马丁·威斯 2 马丁·齐格勒 1 David A.Basin。 1 罗伯特·博伊尔。 1 路易斯·克鲁兹·菲利佩 1 奈杰尔·库特兰(Nigel J.Cutland)。 1 鲁本·甘博阿(Ruben A.Gamboa)。 1 希尔皮·戈尔 1 David M.Goldschlag。 1 迈克尔·J·C·戈登。 1 大卫·A·格雷夫。 1 亨森·C·沃德 1 沃伦·朱恩·亨特(Warren jun Hunt)。 1 埃文格洛斯·康斯坦蒂努·克拉纳基斯 1 罗伯特·贝拉明·克鲁格 1 托马斯·林奇。 1 Manolios,泛血管炎 1 劳伦斯·查尔斯·保尔森 1 保罗·佩奇亚里 1 埃里克·里伯 1 何塞·路易斯·鲁伊斯·雷纳 1 席尔梅斯特,D。 1 彼得·施奈德·坎普 1 康拉德·斯林德 1 埃里克·惠特曼·史密斯 1 罗伯·萨默斯 1 达隆·弗隆 1 内森·韦兹勒。 1 马修·威尔丁 全部的 前5名系列 8 自动推理杂志 6 符号逻辑杂志 4 数理逻辑年鉴 3 圣母院形式逻辑杂志 2 数学基础 2 纯逻辑与应用逻辑年鉴 2 非平衡热力学杂志 2 数学逻辑档案 2 理论计算机科学电子论文集(EPTCS) 2 数学逻辑的观点 1 离散数学 1 电气电子工程师学会计算机期刊 1 美国数学学会会刊 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 函数编程杂志 1 RACSAM公司。《真实科学院评审》(Revista de la Real Academia de Ciencias Exactas,Físicas and Naturales)。意甲:马特马斯 1 应用逻辑杂志 1 计算机科学课堂讲稿 全部的 前5名领域 33 数学逻辑和基础(03-XX) 26 计算机科学(68至XX) 3 总体主题;集合(00-XX) 2 统计力学,物质结构(82-XX) 1 组合数学(05-XX) 1 数值分析(65-XX) 1 可变形固体力学(74-XX) 1 量子理论(81-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 42出版物有被引用258中的次199文件 引用人▼ 年份▼ 模型理论逻辑。(第A-C部分)。 Zbl 0587.03001号 97 1985 静态逻辑。 Zbl 0372.02031号 乔恩·巴韦斯;马特·考夫曼;迈克尔·麦凯 33 1978 关于有限幂和一元逻辑的随机模型。 Zbl 0579.03006号 马特·考夫曼;萨拉、撒哈拉 25 1985 高效认证RAT验证。 兹比尔1494.68284 路易斯·克鲁兹·菲利佩;Heule,Marijn J.H。;沃伦·亨特(Warren A.jun Hunt)。;马特·考夫曼;彼得·施奈德·坎普 21 2017 一阶逻辑中的功能实例化。 Zbl 0755.68120号 罗伯特·博伊尔。;David M.Goldschlag。;马特·考夫曼;J.Strother摩尔 15 1991 模型理论逻辑。(零件D-F)。 Zbl 0587.0302号 15 1985 一种相当无阶级的模式。 Zbl 0359.02054号 马特·考夫曼 14 1977 机械逻辑的结构化理论开发。 兹伯利0971.03017 马特·考夫曼;J.Strother摩尔 14 2001 机械检查的\(\mathrm证明{AMD}5_K86^{\mathrm{TM}}\)浮点除法程序。 Zbl 1392.68051号 J.Strother摩尔;托马斯·林奇。;马特·考夫曼 13 1998 ACL2中的非标准分析。 Zbl 0991.03018号 鲁本·甘博阿(Ruben A.Gamboa)。;马特·考夫曼 12 2001 Peano算法模型的饱和和简单扩展。 Zbl 0557.03021号 马特·考夫曼;詹姆斯·施默尔(James H.Schmerl)。 10 1984 非标准方法在算术方面的优势。 Zbl 0587.03048号 亨森·C·沃德;马特·考夫曼;凯斯勒,H.杰罗姆 10 1984 命题证明的有效验证检查。 兹比尔1483.68483 Marijn脚后跟;沃伦·朱恩·亨特(Warren jun Hunt)。;马特·考夫曼;内森·韦兹勒 8 2017 集合论模型的钝端和无上端扩展。 Zbl 0537.03024号 马特·考夫曼 8 1983 对“静态逻辑”的修正。 Zbl 0457.03034号 乔恩·巴韦斯;马特·考夫曼;迈克尔·麦凯 8 1981 关于皮亚诺算法模型中饱和的弱概念的评论。 Zbl 0619.03027号 马特·考夫曼;詹姆斯·施默尔(James H.Schmerl)。 7 1987 在自动化推理环境中高效执行。 Zbl 1128.68090号 大卫·A·格雷夫。;马特·考夫曼;Manolios,Panagiotis公司;J.Strother摩尔;桑迪普·雷;何塞·路易斯·鲁伊斯·雷纳;罗伯·萨默斯;达隆·弗隆;马修·威尔丁 7 2008 ACL2中的元推理。 Zbl 1152.68522号 沃伦·亨特(Warren A.jun Hunt)。;马特·考夫曼;罗伯特·贝拉明·克鲁格;摩尔,J.斯特罗瑟;埃里克·惠特曼·史密斯 7 2005 Boyer-Moore校准器和Nuprl:实验比较。 Zbl 0799.68169号 戴维·巴恩斯;马特·考夫曼 6 1991 离散非平衡系统的量子热力学描述。 Zbl 0801.73010号 西马斯奇克。;考夫曼,M。 5 1994 由集合论模型的自同构逐点固定的最大初始段。 Zbl 1477.03152号 阿里·埃纳亚特;马特·考夫曼;扎奇里·麦肯齐 4 2018 ACL2教程。 兹比尔1165.68461 马特·考夫曼;J.Strother摩尔 4 2008 Boyer-Moore定理证明器的扩展,以支持一阶量化。 Zbl 0784.68076号 马特·考夫曼 3 1992 适用通用LISP的计算逻辑。 Zbl 1066.68120号 马特·考夫曼;J.Strother摩尔 3 2002 在ACL2中使用等价关系重写。 Zbl 1140.68029号 马特·考夫曼;J.Strother摩尔 3 2008 将外部扣除工具与ACL2集成。 Zbl 1183.68558号 马特·考夫曼;J Strother摩尔;雷,桑迪普;埃里克·里伯 3 2009 为大众重复的超能力。 Zbl 1483.03024号 阿里·埃纳亚特;马特·考夫曼;扎奇里·麦肯齐 2 2018 相互通用的类和不兼容的扩展。 Zbl 0586.03040号 马特·考夫曼 2 1984 平稳逻辑的Hanf数。 Zbl 0614.03034号 萨拉、撒哈拉;马特·考夫曼 2 1986 存在自由变量时的泛化:一种算法的机械检查正确性证明。 兹比尔0723.68072 马特·考夫曼 2 1991 用过滤量词设置理论。 Zbl 0518.03007号 马特·考夫曼 2 1983 与Boyer-Moore定理证明器的交互:使用算术几何平均定理的教程研究。 Zbl 0847.68106号 马特·考夫曼;保罗·佩奇亚里 1 1996 量子热力学中的不同动力学和熵率。 Zbl 1053.82516号 A.加藤。;考夫曼,M。;西马斯奇克。;席尔梅斯特,D。 1 2000 用于硬件和软件验证的自动定理证明的一些关键研究问题。 Zbl 1103.68800号 马特·考夫曼;Moore,J.斯特劳尔 1 2004 一阶设置中的有限二阶功能。 Zbl 1468.68291号 马特·考夫曼;J Strother摩尔 1 2020 关于二阶逻辑Hanf数的注记。 Zbl 0644.03021号 马特·考夫曼 1 1985 粗菱形:基于等价的重写的扩展。 Zbl 1416.68165号 马特·考夫曼;J Strother摩尔 1 2014 这项工作的正确工具:使用ACL2和HOL4证明影响减少锥的正确性。 Zbl 1216.68233号 迈克尔·J·C·戈登。;马特·考夫曼;桑迪普·雷 1 2011 交互式定理证明。2010年7月11日至14日,英国爱丁堡,首届国际会议,ITP 2010。诉讼程序。 Zbl 1195.68009号 1 2010 证明珠:对序数到\(\epsilon_{0}\)的有根据的归纳。 Zbl 1144.68361号 马特·考夫曼;康拉德·斯林德 1 2007 关于\(Sigma_n\)端扩展的存在性。 Zbl 0467.03021号 马特·考夫曼 1 1981 过滤逻辑:在\(omega_1\)上过滤。 Zbl 0467.03030号 马特·考夫曼 1 1981 一阶设置中的有限二阶功能。 Zbl 1468.68291号 马特·考夫曼;J Strother摩尔 1 2020 由集合论模型的自同构逐点固定的最大初始段。 Zbl 1477.03152号 阿里·埃纳亚特;马特·考夫曼;扎奇里·麦肯齐 4 2018 为大众重复的超能力。 Zbl 1483.03024号 阿里·埃纳亚特;马特·考夫曼;扎奇里·麦肯齐 2 2018 高效认证RAT验证。 Zbl 1494.68284号 路易斯·克鲁兹·菲利佩;Heule,Marijn J.H。;沃伦·亨特(Warren A.jun Hunt)。;马特·考夫曼;彼得·施奈德·坎普 21 2017 命题证明的有效验证检查。 Zbl 1483.68483号 Marijn脚后跟;亨特,沃伦·琼。;马特·考夫曼;内森·韦兹勒 8 2017 粗菱形:基于等价的重写的扩展。 Zbl 1416.68165号 马特·考夫曼;J Strother摩尔 1 2014 这项工作的正确工具:使用ACL2和HOL4证明影响减少锥的正确性。 Zbl 1216.68233号 迈克尔·J·C·戈登。;马特·考夫曼;桑迪普·雷 1 2011 交互式定理证明。2010年7月11日至14日在英国爱丁堡举行的2010年ITP第一届国际会议。诉讼程序。 Zbl 1195.68009号 1 2010 将外部扣除工具与ACL2集成。 Zbl 1183.68558号 马特·考夫曼;摩尔,J·斯特罗瑟;桑迪普·雷;埃里克·里伯 3 2009 在自动推理环境中高效执行。 Zbl 1128.68090号 大卫·A·格雷夫。;马特·考夫曼;Manolios,Panagiotis公司;J.Strother摩尔;桑迪普·雷;何塞·路易斯·鲁伊斯·雷纳;罗伯·萨默斯;达隆·弗隆;马修·威尔丁 7 2008 ACL2教程。 Zbl 1165.68461号 马特·考夫曼;J.Strother摩尔 4 2008 在ACL2中使用等价关系重写。 Zbl 1140.68029号 马特·考夫曼;J.Strother摩尔 3 2008 证明珠:对序数到\(\epsilon_{0}\)的有根据的归纳。 Zbl 1144.68361号 马特·考夫曼;康拉德·斯林德 1 2007 ACL2中的元推理。 Zbl 1152.68522号 沃伦·亨特(Warren A.jun Hunt)。;马特·考夫曼;罗伯特·贝拉明·克鲁格;J.Strother摩尔;史密斯,埃里克·惠特曼 7 2005 用于硬件和软件验证的自动定理证明的一些关键研究问题。 Zbl 1103.68800号 马特·考夫曼;J.Stroother摩尔 1 2004 适用通用LISP的计算逻辑。 Zbl 1066.68120号 马特·考夫曼;J.Strother摩尔 3 2002 机械逻辑的结构化理论开发。 Zbl 0971.03017号 马特·考夫曼;J.Strother摩尔 14 2001 ACL2中的非标准分析。 Zbl 0991.03018号 鲁本·甘博阿(Ruben A.Gamboa)。;马特·考夫曼 12 2001 量子热力学中不同的动力学和熵率。 Zbl 1053.82516号 A.加藤。;考夫曼,M。;西马斯奇克。;席尔梅斯特,D。 1 2000 机械检查的\(\mathrm证明{AMD}5_K86^{\mathrm{TM}}\)浮点除法程序。 Zbl 1392.68051号 J.Strother摩尔;托马斯·林奇。;马特·考夫曼 13 1998 与Boyer-Moore定理证明器的交互:使用算术几何平均定理的教程研究。 Zbl 0847.68106号 马特·考夫曼;保罗·佩奇亚里 1 1996 离散非平衡系统的量子热力学描述。 Zbl 0801.73010号 西马斯奇克。;考夫曼,M。 5 1994 Boyer-Moore定理证明器的扩展,以支持一阶量化。 Zbl 0784.68076号 马特·考夫曼 3 1992 一阶逻辑中的功能实例化。 Zbl 0755.68120号 罗伯特·博伊尔。;David M.Goldschlag。;马特·考夫曼;J.Strother摩尔 15 1991 Boyer-Moore校准器和Nuprl:实验比较。 Zbl 0799.68169号 戴维·巴恩斯;马特·考夫曼 6 1991 存在自由变量时的泛化:一种算法的机械检查正确性证明。 Zbl 0723.68072号 马特·考夫曼 2 1991 关于皮亚诺算法模型中饱和的弱概念的评论。 兹伯利0619.03027 马特·考夫曼;詹姆斯·施默尔(James H.Schmerl)。 7 1987 平稳逻辑的Hanf数。 Zbl 0614.03034号 萨拉、撒哈拉;马特·考夫曼 2 1986 模型理论逻辑。(第A-C部分)。 Zbl 0587.03001号 97 1985 关于有限幂和一元逻辑的随机模型。 Zbl 0579.03006号 马特·考夫曼;萨拉、撒哈拉 25 1985 模型理论逻辑。(第D-F部分)。 Zbl 0587.0302号 15 1985 关于二阶逻辑Hanf数的注记。 Zbl 0644.03021号 马特·考夫曼 1 1985 Peano算法模型的饱和和简单扩展。 Zbl 0557.03021号 马特·考夫曼;詹姆斯·施默尔(James H.Schmerl)。 10 1984 非标准方法在算术方面的优势。 Zbl 0587.03048号 亨森·C·沃德;马特·考夫曼;凯斯勒,H.杰罗姆 10 1984 相互通用的类和不兼容的扩展。 Zbl 0586.03040号 马特·考夫曼 2 1984 集合论模型的钝端和无顶端扩展。 Zbl 0537.03024号 马特·考夫曼 8 1983 用过滤量词设置理论。 Zbl 0518.03007号 马特·考夫曼 2 1983 对“静态逻辑”的修正。 Zbl 0457.03034号 乔恩·巴韦斯;马特·考夫曼;迈克尔·麦凯 8 1981 关于\(Sigma_n\)端扩展的存在性。 Zbl 0467.03021号 马特·考夫曼 1 1981 过滤逻辑:在\(omega_1\)上过滤。 Zbl 0467.03030号 马特·考夫曼 1 1981 静态逻辑。 兹伯利0372.02031 乔恩·巴韦斯;马特·考夫曼;迈克尔·麦凯 33 1978 一种相当无阶级的模式。 Zbl 0359.02054号 马特·考夫曼 14 1977 所有引用出版物 前5名被引用出版物 全部的 前5名270位作者引用 15 马特·考夫曼 14 阿里·埃纳亚特 10 萨拉、撒哈拉 9 Heule,Marijn J.H。 8 J Strother摩尔 8 詹姆斯·施默尔(James H.Schmerl)。 7 朱可夫斯基(Maksim Evgen’evich) 4 西尔维·博尔多 4 凯文·康普顿。 4 霍华德·杰罗姆·凯斯勒 4 彼得·拉姆米奇 4 史蒂文·莱思(Steven C.Leth)。 4 扎奇里·麦肯齐 4 纪尧姆·梅尔金德 4 桑迪普·雷 3 鲁本·甘博阿(Ruben A.Gamboa)。 3 乔尔·戴维·哈姆金斯 3 Phokion G.科莱蒂斯。 3 Martín-Mateos,Francisco-Jesüs 3 何塞·路易斯·鲁伊斯·雷纳 3 阿萨纳西奥斯·祖瓦拉斯 3 Väänänen,Jouko Antero 3 巴托斯·Wcisło 2 阿隆索、何塞·安东尼奥 2 约翰·鲍德温(John T.Baldwin)。 2 David A.Basin。 2 阿明·比尔 2 乔舒亚·布拉肯西克 2 Randal E.布莱恩特。 2 彼得·迪林杰(Peter C.Dillinger)。 2 艾琳娜·埃戈罗娃。 2 迈克尔·J·C·戈登。 2 劳拉·T·希拉。 2 亨森·C·沃德 2 玛丽亚·何塞·伊达尔戈 2 Jonker,天主教M。 2 本杰明·基尔 2 科萨克,罗马人 2 Jean-Marie Le Bars 2 凯瑟琳·勒雷 2 Łełyk,马特乌斯·兹比格尼尤 2 约翰·麦基 2 约翰·安德烈亚斯·马考斯基 2 Manolios,Panagiotis公司 2 Jean-Michel穆勒 2 丹尼尔·蒙迪奇 2 玛格努斯·奥·米林。 2 大卫·E·纳瓦兹(David E.Narváez)。 2 爱荷华州帕什卡 2 安德烈·波佩斯库 2 David M.Russinoff。 2 参见,Detlef G。 2 斯图亚特·史密斯。 2 曼弗雷德·伊贡·萨博 2 简·特雷尔 2 莫西·亚亚科夫·瓦尔迪 2 达隆·弗隆 1 马库斯·阿德霍尔德 1 Akhmejanova,Margarita B。 1 娜塔莎·亚历奇纳 1 艾亚德·阿尔卡萨 1 马里奥·阿尔维亚诺 1 安德列夫,P.V。 1 弗雷德·阿彭策勒 1 米歇尔·阿尔芒 1 罗布·D·阿尔森。 1 阿里·阿亚德 1 Seulkee Baek先生 1 哈尼尔·巴博萨 1 克拉克·W·巴雷特。 1 肯尼思·乔恩·巴韦斯 1 托马斯·博埃里 1 Shai Ben-David公司 1 Jeremias伯格 1 威廉·贝维尔(William R.Bevier)。 1 加文·M·比尔曼。 1 贾斯敏·克里斯蒂安·布兰切特 1 巴特·博加特 1 塞巴斯蒂安·博根 1 玛丽亚·保拉(Maria Paola Bonacina) 1 罗伯特·博伊尔。 1 布莱恩,马丁 1 布里塞德,伊文德·马托尔 1 布鲁斯(Kim B.Bruce)。 1 坎通·多梅尼科 1 哈什·拉朱·查马西 1 雪维拉德,西尔万 1 勒罗伊·周 1 科恩·克莱森 1 雷诺德·克莱维尔 1 弗朗索瓦·克莱门特 1 约翰·考尔斯(John R.Cowles)。 1 肖恩·考克斯。 1 路易斯·克鲁兹·菲利佩 1 马克·达马斯 1 贾里德·戴维斯 1 沃尔夫·德·沃尔夫 1 卡明·多达罗 1 维杰·迪尔瓦 1 杜洪伟 …还有170多名作者 全部的 前5名53篇连载文章中引用 26 自动推理杂志 25 符号逻辑杂志 18 纯逻辑与应用逻辑年鉴 10 数学逻辑档案 6 美国数学学会会刊 6 计算的形式方面 5 美国数学学会汇刊 5 数学逻辑季刊(MLQ) 5 符号逻辑公报 4 Studia Logica公司 4 信息与计算 3 Archive für Mathematische Logik und Grundlagenforschung公司 3 以色列数学杂志 3 圣母院形式逻辑杂志 3 理论计算机科学 3 Doklady数学 2 数学基础 2 随机结构与算法 2 MSCS公司。计算机科学中的数学结构 2 高阶和符号计算 2 数学逻辑杂志 2 萨达纳 2 计算机科学中的数学 1 信息处理信件 1 数学物理中的字母 1 ACM数学软件汇刊 1 代数普遍性 1 模糊集与系统 1 组合理论杂志。B系列 1 合成 1 拓扑及其应用 1 欧洲组合数学杂志 1 统计与概率信件 1 符号计算杂志 1 美国数学学会杂志 1 SIAM离散数学杂志 1 密码学杂志 1 应用智能 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 1 函数编程杂志 1 数学与人工智能年鉴 1 计算与数学组织理论 1 组合优化期刊 1 自然与社会中的离散动力学 1 科学基础 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 应用逻辑杂志 1 数字学报 1 计算机科学中的逻辑方法 1 符号逻辑述评 1 哲学学报A.伦敦皇家学会 全部的 前5名23个字段中引用 124 数学逻辑和基础(03-XX) 86 计算机科学(68至XX) 18 组合数学(05-XX) 9 概率论与随机过程(60-XX) 6 实际功能(26-XX) 6 数值分析(65-XX) 5 数论(11-XX) 3 历史和传记(01-XX) 3 运筹学、数学规划(90-XX) 3 信息与通信理论、电路(94-XX) 2 阶、格、有序代数结构(06-XX) 2 场论和多项式(12-XX) 2 群论与推广(20-XX) 2 测量和集成(28-XX) 2 一般拓扑结构(54至XX) 1 交换代数(13-XX) 1 结合环与代数(16-XX) 1 特殊功能(33至XX) 1 偏微分方程(35-XX) 1 序列、级数、可和性(40-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文