×
作者ID: 考夫曼·马特“考夫曼,马特”最近发表的zbMATH文章
发布日期: 马特·考夫曼;考夫曼,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 马修·威尔丁

按年份列出的出版物

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名

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多名作者

按年份列出的引文