×
作者ID: 张汉涛“张汉涛”最近发表的zbMATH文章
发布日期: 张汉涛;张,H。;张汉涛;张汉涛;汉涛·查
主页: 网址:http://homepage.cs.uiowa.edu/~hzhang/
已编制索引的文档: 83出版物自1985年以来,包括1个附加arXiv预打印
2作为编辑的贡献
合著者: 43位合著者具有71联合出版物
1562合著者

按年份列出的出版物

zbMATH Open中包含的引文

67出版物有被引用463中的次318文件 引用人 年份
关于项重写系统的充分完备性及其相关性质。 Zbl 0594.68035号
卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛
42
1987
PSATO:分布式命题证明器及其在拟群问题中的应用。 Zbl 0863.68013号
张汉涛;玛丽亚·保拉(Maria Paola Bonacina);Jieh乡
22
1996
方程式规范的机械化归纳原理。 Zbl 0657.68103号
张汉涛;卡普尔,迪帕克;Krishnamoorthy,Mukkai S。
21
1988
SATO:一个有效的命题证明器。 Zbl 1430.68427号
张汉涛
21
1997
充分完整性、地面可简化性及其复杂性。 兹比尔0721.68032
卡普尔,迪帕克;巴利亚特·纳伦德兰;丹尼尔·罗森克兰茨。;张汉涛
20
1991
实施Davis-Putnam方法。 兹比尔0967.68148
张汉涛;标签,马克
18
2000
使用测试集进行归纳证明。 兹比尔0642.68034
卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛
17
1986
使用条件重写规则证明一阶定理。 Zbl 0645.68096号
张汉涛;卡普尔,迪帕克
15
1988
存在类型为\(a^n b^1 \)的框架SOLS。 Zbl 0996.05018号
徐,Y。;张,H。;朱,L。
15
2002
完美的门德尔松设计,块大小为6。 Zbl 0974.05008号
阿贝尔,R.J.R。;F.E.贝内特。;张,H。
15
2000
上下文重写。 Zbl 0576.68012号
张汉涛;Jean-Luc雷米
14
1985
关于最大顶点覆盖的近似。 Zbl 1058.90036号
韩巧明;叶银玉;张汉涛;张嘉伟
13
2002
Holey Steiner五角大楼系统。 Zbl 0922.05006号
阿贝尔,R.J.R。;F.E.贝内特。;张,H。
12
1999
存在块大小为5且任何指数为(λ)的不完全横向设计。 Zbl 0869.05016号
阿贝尔,R.J.R。;查尔斯·科尔伯恩。;尹建兴;张汉涛
12
1997
使用测试集自动进行无感应感应。 Zbl 0724.68079号
卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛
12
1991
某些类型的HMOLS的直接构造。 Zbl 0911.05020号
阿贝尔,R.朱利安R。;张汉涛
11
1998
一种新的AC-rewrite系统终止性证明方法。 Zbl 0736.68051号
卡普尔,迪帕克;西瓦库马尔,G。;张汉涛
11
1990
存在块大小为5的HPMD。 Zbl 0912.05008号
F.E.贝内特。;Chang,Y。;尹,J。;张,H。
9
1997
还有一些不完全自正交拉丁方和相关设计。 Zbl 0949.05011号
阿贝尔,R.J.R。;F.E.贝内特。;张,H。;朱,L。
9
2000
具有对称正交配对的空心自正交拉丁方。 Zbl 0929.05012号
F.E.贝内特。;张,H。;朱,L。
8
1997
完美的门德尔松包装设计,块尺寸为5。 Zbl 0910.05020号
F.E.贝内特。;尹,J。;张,H。;阿贝尔,R.J.R。
8
1998
改进MAX-2-SAT的精确算法。 Zbl 1086.68058号
沈海鸥;张汉涛
8
2005
还有几个正交拉丁方。 Zbl 0987.05025号
朱,L。;张,H。
7
2001
完成\(r\)-正交拉丁方的谱。 兹比尔1029.05023
朱,L。;张汉涛
7
2003
不相交的纯Mendelsohn三元系的大集合。 Zbl 0984.05014号
Frank E.Bennett。;康庆德;雷建国;张汉涛
6
2001
方程式规范的一般完整性测试。 Zbl 0587.68016号
E.库纳利斯。;张,H。
6
1986
MAX-SAT的精确算法。 Zbl 1261.68073号
张汉涛;沈海鸥;很多,费利普
6
2003
Holey Schröder类型的设计(2^nu^1\)。 Zbl 0915.05021号
F.E.贝内特。;魏瑞忠;张汉涛
5
1998
Max-2-sat相变的实证研究。 Zbl 1179.68148号
沈海鸥;汉涛·查
5
2003
自动推理中的上下文重写。 Zbl 0839.68051号
张汉涛
5
1995
强对称自正交对角拉丁方和杨辉型幻方。 Zbl 1288.05031号
张勇;陈可军;曹、南苑;张汉涛
5
2014
关联交换完成程序中的不必要推断。 Zbl 0707.68071号
张汉涛;卡普尔,迪帕克
5
1990
基于布尔环的定理证明的一种新方法。 兹伯利0860.03014
张汉涛
4
1994
块大小为4的(2^n3^1)型HPMD和相关HCOLS。 Zbl 0872.05006号
F.E.贝内特。;魏瑞忠;张汉涛
4
1997
斯坦纳五边形覆盖设计。 Zbl 0973.05019号
阿贝尔,R.J.R。;F.E.贝内特。;张,H。;朱,L。
4
2001
标准三稳态系统中的多参数调节随机共振及其在早期故障诊断中的应用。 Zbl 1437.60024号
Lai,Z.H。;刘建生(Liu,J.S.)。;张海涛。;张,C.L。;张建伟(Zhang,J.W.)。;Duan,D.Z。
4
2019
强幂等自正交行拉丁幻数阵的存在性及应用。 Zbl 1402.05025号
张玉芳;陈景元;吴殿华;张汉涛
4
2018
系统描述-通过SEM生成模型。 兹比尔1412.68268
张健;张汉涛
4
1996
问题角:证明自由群不同公理化的等价性。 Zbl 0654.68102号
卡普尔,迪帕克;张汉涛
1988
霍利·斯坦纳五角大楼系统和相关设计。 Zbl 0995.05033号
F.E.贝内特。;Ge,G。;张,H。;朱,L。
2002
实施Davis-Putnam方法。 Zbl 0979.03012号
张汉涛;Stickel,Mark E。
2000
缺少子平方的自正交对角拉丁方的存在性。 Zbl 1012.05042号
Frank E.Bennett。;杜北良;张汉涛
2003
自正交Mendelsohn三系。 Zbl 0842.05008号
F.E.贝内特。;张,H。;朱,L。
1996
在完井程序中只考虑一般叠加。 Zbl 1503.68171号
张汉涛;卡普尔,迪帕克
1989
实现上下文重写。 兹比尔1508.68182
张汉涛
1993
对角序正交拉丁方及其相关的初等对角序幻方。 Zbl 1383.05034号
张,Y。;陈景元;D.吴。;张,H。
2017
利用覆盖集归纳法证明中国剩余定理。 Zbl 0925.03068号
张汉涛;华欣
2
1992
框架(h^n)型自正交Mendelsohn三系。 Zbl 1157.05012号
徐云清;张彦勋;葛根年;张汉涛
2
2008
存在类型为\(h^n \)和\(1^nu^1 \)的HSOLSSOM。 Zbl 0993.05031号
亚伯,R.J.R。;F.E.贝内特。;张,H。;朱,L。
2
2000
完成模分配和交换群的案例研究。 Zbl 1503.68297号
张汉涛
2
1993
具有自正交共轭的拉丁方。 Zbl 1044.05027号
Frank E.Bennett。;张汉涛
2
2004
MACE4和SEM:有限模型生成器的比较。 Zbl 1383.68083号
张汉涛;张健
2
2013
通过可满足性检验研究幂等拟群的大集的存在性。 Zbl 1511.68315号
黄,裴;马,菲菲;葛存静;张健;张汉涛
2
2018
关于\(2^nu^1\)型的holey Schröder设计。 Zbl 1474.05038号
张汉涛;斯坦利·齐瓦茨
2
2016
Overbeek竞争中平等问题的自动证明。 Zbl 0802.68132号
张汉涛
1
1993
共轭正交对角拉丁方的存在性。 Zbl 0912.05018号
F.E.贝内特。;杜,B。;张,H。
1
1997
存在类型为\(2^nu^1\)的HSOLSSOM。 Zbl 1158.05012号
阿贝尔,R.J.R。;Frank E.Bennett。;张汉涛
1
2008
框架自正交Mendelsohn三系。 Zbl 1065.05021号
徐云青;张汉涛
1
2004
用同余闭包计算扩展有限模型搜索。 Zbl 1109.68643号
张健;张汉涛
1
2004
非元素有理对称对角序幻方的存在性。 兹比尔1463.05036
于黄胜;吴殿华;张汉涛
1
2019
充分完备性的复杂性。 Zbl 0623.68047号
卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛
1
1986
具有指定数量幂等元的Schröder拟群。 Zbl 1237.05024号
Frank E.Bennett。;张汉涛
1
2012
无理对角序幻方的存在性。 Zbl 1349.05042号
于黄胜;D.吴。;张,H。
1
2016
用代数方法自动证明环的交换性问题。 Zbl 0698.68037号
张汉涛
1
1990
满足Stein第三定律的具有指定数量幂等元的拟群。 Zbl 1254.05030号
Frank E.Bennett。;张汉涛
1
2012
Holey Schröder设计的类型\(4^n u^1\)。 Zbl 1278.05057号
F.E.贝内特。;张汉涛
1
2012
无理对称对角序幻方的存在性。 Zbl 1488.05049号
于黄胜;吴殿华;张汉涛
1
2020
无理对称对角序幻方的存在性。 Zbl 1488.05049号
于黄胜;吴殿华;张汉涛
1
2020
标准三稳态系统中的多参数调节随机共振及其在早期故障诊断中的应用。 Zbl 1437.60024号
赖,Z.H。;刘建生(Liu,J.S.)。;张海涛。;张,C.L。;张建伟。;Duan,D.Z。
4
2019
非元素有理对称对角序幻方的存在性。 Zbl 1463.05036号
于黄胜;吴殿华;张汉涛
1
2019
强幂等自正交行拉丁幻数阵的存在性及应用。 Zbl 1402.05025号
张玉芳;陈景元;吴殿华;张汉涛
4
2018
通过可满足性检验研究幂等拟群的大集的存在性。 Zbl 1511.68315号
黄,裴;马,菲菲;葛存静;张健;张汉涛
2
2018
对角序正交拉丁方及其相关的初等对角序幻方。 Zbl 1383.05034号
张,Y。;陈景元;D.吴。;张,H。
2017
关于类型为(2^nu^1)的多孔Schröder设计。 兹比尔1474.05038
张汉涛;斯坦利·齐瓦茨
2
2016
无理对角序幻方的存在性。 Zbl 1349.05042号
于黄胜;D.吴。;张,H。
1
2016
强对称自正交对角拉丁方和杨辉型幻方。 Zbl 1288.05031号
张勇;陈可军;曹、南苑;张汉涛
5
2014
MACE4和SEM:有限模型生成器的比较。 Zbl 1383.68083号
张汉涛;张健
2
2013
具有指定数量幂等元的Schröder拟群。 Zbl 1237.05024号
Frank E.Bennett。;张汉涛
1
2012
满足斯坦因第三定律的拟群,具有指定数量的幂等元。 Zbl 1254.05030号
Frank E.Bennett。;张汉涛
1
2012
Holey Schröder设计类型\(4^nu^1)。 Zbl 1278.05057号
F.E.贝内特。;张汉涛
1
2012
框架(h^n)型自正交Mendelsohn三系。 Zbl 1157.05012号
徐云清;张彦勋;葛根年;张汉涛
2
2008
存在类型为\(2^nu^1\)的HSOLSSOM。 Zbl 1158.05012号
阿贝尔,R.J.R。;Frank E.Bennett。;张汉涛
1
2008
改进MAX-2-SAT的精确算法。 Zbl 1086.68058号
沈海鸥;张汉涛
8
2005
具有自正交共轭的拉丁方。 Zbl 1044.05027号
Frank E.Bennett。;张汉涛
2
2004
框架自正交Mendelsohn三系。 Zbl 1065.05021号
徐云青;张汉涛
1
2004
用同余闭包计算扩展有限模型搜索。 Zbl 1109.68643号
张健;张汉涛
1
2004
完成\(r\)-正交拉丁方的谱。 Zbl 1029.05023号
朱,L。;张汉涛
7
2003
MAX-SAT的精确算法。 Zbl 1261.68073号
张汉涛;沈海鸥;很多,费利普
6
2003
Max-2-sat相变的实证研究。 Zbl 1179.68148号
沈海鸥;汉涛·查
5
2003
缺少子平方的自正交对角拉丁方的存在性。 Zbl 1012.05042号
Frank E.Bennett。;杜北良;张汉涛
2003
存在类型为\(a^n b^1 \)的框架SOLS。 Zbl 0996.05018号
徐,Y。;张,H。;朱,L。
15
2002
关于max-vertex-cover的近似。 Zbl 1058.90036号
韩巧明;叶银玉;张汉涛;张嘉伟
13
2002
霍利·斯坦纳五角大楼系统和相关设计。 Zbl 0995.05033号
F.E.贝内特。;Ge,G。;张,H。;朱,L。
2002
还有几个\(r)-正交的拉丁正方形。 Zbl 0987.05025号
朱,L。;张,H。
7
2001
不相交的纯Mendelsohn三元系的大集合。 Zbl 0984.05014号
Frank E.Bennett。;康庆德;雷建国;张汉涛
6
2001
斯坦纳五边形覆盖设计。 Zbl 0973.05019号
阿贝尔,R.J.R。;F.E.贝内特。;张,H。;朱,L。
4
2001
实施Davis-Putnam方法。 兹比尔0967.68148
张汉涛;贴纸,标记
18
2000
完美的门德尔松设计,块大小为6。 Zbl 0974.05008号
阿贝尔,R.J.R。;F.E.贝内特。;张,H。
15
2000
还有一些不完全自正交拉丁方和相关设计。 Zbl 0949.05011号
阿贝尔,R.J.R。;F.E.贝内特。;张,H。;朱,L。
9
2000
实施Davis-Putnam方法。 Zbl 0979.03012号
张汉涛;Stickel,Mark E。
2000
存在类型为\(h^n \)和\(1^nu^1 \)的HSOLSSOM。 Zbl 0993.05031号
阿贝尔,R.J.R。;F.E.贝内特。;张,H。;朱,L。
2
2000
Holey Steiner五角大楼系统。 兹伯利0922.05006
阿贝尔,R.J.R。;F.E.贝内特。;张,H。
12
1999
某些类型HMOLS的直接构造。 Zbl 0911.05020号
阿贝尔,R.朱利安R。;张汉涛
11
1998
完美的门德尔松包装设计,块大小为5。 Zbl 0910.05020号
F.E.贝内特。;尹,J。;张,H。;阿贝尔,R.J.R。
8
1998
Holey Schröder设计类型\(2^nu^1)。 兹比尔0915.05021
F.E.贝内特。;魏瑞忠;张汉涛
5
1998
SATO:一个有效的命题证明器。 Zbl 1430.68427号
张汉涛
21
1997
存在块大小为5且任何指数为(λ)的不完全横向设计。 Zbl 0869.05016号
阿贝尔,R.J.R。;查尔斯·科尔伯恩。;尹建兴;张汉涛
12
1997
存在块大小为5的HPMD。 Zbl 0912.05008号
F.E.贝内特。;Chang,Y。;尹,J。;张,H。
9
1997
具有对称正交配对的空心自正交拉丁方。 Zbl 0929.05012号
F.E.贝内特。;张,H。;朱,L。
8
1997
块大小为4的(2^n3^1)型HPMD和相关HCOLS。 Zbl 0872.05006号
F.E.贝内特。;魏瑞忠;张汉涛
4
1997
共轭正交对角拉丁方的存在性。 Zbl 0912.05018号
F.E.贝内特。;杜,B。;张,H。
1
1997
PSATO:分布式命题证明器及其在拟群问题中的应用。 Zbl 0863.68013号
张汉涛;玛丽亚·保拉(Maria Paola Bonacina);Jieh乡
22
1996
系统描述-通过SEM生成模型。 Zbl 1412.68268号
张健;张汉涛
4
1996
自正交门德尔松三系统。 Zbl 0842.05008号
F.E.贝内特。;张,H。;朱,L。
1996
自动推理中的上下文重写。 Zbl 0839.68051号
张汉涛
5
1995
基于布尔环的定理证明的一种新方法。 Zbl 0860.03014号
张汉涛
4
1994
实现上下文重写。 Zbl 1508.68182号
张汉涛
1993
完成模分配和交换群的案例研究。 Zbl 1503.68297号
张汉涛
2
1993
Overbeek竞争中平等问题的自动证明。 Zbl 0802.68132号
张汉涛
1
1993
利用覆盖集归纳法证明中国剩余定理。 Zbl 0925.03068号
张汉涛;华欣
2
1992
充分完整性、地面可简化性及其复杂性。 兹比尔0721.68032
卡普尔,迪帕克;巴利亚特·纳伦德兰;丹尼尔·罗森克兰茨。;张汉涛
20
1991
使用测试集自动进行无感应感应。 Zbl 0724.68079号
卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛
12
1991
一种新的AC-rewrite系统终止性证明方法。 Zbl 0736.68051号
卡普尔,迪帕克;西瓦库马尔,G。;张汉涛
11
1990
结合交换完备过程中不必要的推论。 Zbl 0707.68071号
张汉涛;卡普尔,迪帕克
5
1990
用代数方法自动证明环的交换性问题。 Zbl 0698.68037号
张汉涛
1
1990
在完井程序中只考虑一般叠加。 Zbl 1503.68171号
张汉涛;卡普尔,迪帕克
1989
方程式规范的机械化归纳原理。 Zbl 0657.68103号
张汉涛;卡普尔,迪帕克;Krishnamoorthy,Mukkai S。
21
1988
使用条件重写规则证明一阶定理。 Zbl 0645.68096号
张汉涛;卡普尔,迪帕克
15
1988
问题角:证明自由群不同公理化的等价性。 Zbl 0654.68102号
卡普尔,迪帕克;张汉涛
1988
关于项重写系统的充分完备性及其相关性质。 Zbl 0594.68035号
卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛
42
1987
使用测试集进行归纳证明。 Zbl 0642.68034号
卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛
17
1986
等式规范的一般完整性测试。 Zbl 0587.68016号
E.库纳利斯。;张,H。
6
1986
充分完备性的复杂性。 Zbl 0623.68047号
卡普尔,迪帕克;巴利亚特·纳伦德兰;张汉涛
1
1986
上下文重写。 Zbl 0576.68012号
张汉涛;Jean-Luc雷米
14
1985
全部的 前5名

429位作者引用

30 张汉涛
23 Frank E.Bennett。
17 阿贝尔,R.朱利安R。
16 葛根年
13 卡普尔,迪帕克
7 玛丽亚·保拉(Maria Paola Bonacina)
7 张彦勋
7 纳鸿·德肖维茨
7 美国雷迪。
7 米歇尔·鲁西诺维奇
7 徐云清
6 阿黛尔·布胡拉
6 伊曼纽尔·库纳利斯
5 利奥·巴赫迈尔
5 哈拉尔德·甘辛格
5 马尔科姆·格里格
5 Jean-Pierre Jouannaud
5 Ling、Alan Chi Hung
5 巴利亚特·纳伦德兰
5 罗伯特·纽文胡斯
4 弗朗索瓦·布隆萨德
4 曹海涛
4 休伯特·科蒙
4 佛罗伦萨·杰克马尔
4 季丽君
4 雷建国
4 Joáo P.塞尔瓦侯爵。
4 克里斯托夫·韦登巴赫
4 吴殿华
4 尹建兴
4 周俊玲
高仁青藤
亚历山德罗·阿曼多
布鲁尼,雷纳托
陈,广州
查尔斯·科尔伯恩。
杜北良
公爵,彼得·詹姆斯
高基町五指
扬·威廉·克鲁普
李楚敏
李、文
萨尔瓦多卢卡斯
林奇,因斯
很多,费利普
大卫·穆瑟。
中村,Masaki
Kazuhiro绪方
Vangelis Th.帕斯科。
莱因哈德,皮克勒
阿尔伯特·鲁比奥
沈海鸥
马哈德万·苏布拉曼尼亚姆
张健
朱,李
2 乔治·奥塞洛
2 彼得·鲍姆加特纳
2 埃迪,贝弗斯
2 尼古拉·鲍里亚
2 莱因哈德·邦根
2 卡隆、安妮·塞西尔
2 陈景元
2 Jean-Luc Coquidé
2 马克西米利亚诺·克里斯蒂亚
2 马克斯·多切特
2 托马斯·艾特
2 卡斯滕·福斯
2 詹纳科斯,亚里士多德
2 吉尔根·吉斯尔
2 恩里科Giunchilia
2 尤金·戈德伯格。
2 罗伯特·哈斯克(Robert W.Hasker)。
2 迪特尔·霍夫鲍尔
2 马提亚斯·霍巴赫
2 Jieh乡
2 玛丽亚·休伯
2 伯纳德·尤尔科维亚克
2 肯塔罗州菊池
2 赫莱内·基什内尔
2 格雷戈里·库切洛夫
2 Küchlin,Wolfgang W。
2 皮埃尔·莱斯坎
2 约翰·莱维
2 李东亮
2 查尔斯·柯蒂斯·林德纳
2 乔治·卢卡雷利
2 奥拉夫·莱恩
2 威廉·麦库恩。
2 潘凤初
2 分手,迈克尔
2 乔迪,飞机
2 西尔维奥·兰伊斯
2 Jean-Luc雷米
2 亚历山大·罗莎
2 吉安弗兰科·罗西
2 彼得·施奈德·坎普
2 沈聪
2 韦恩·斯奈德
2 斯特拉图拉特,索林
2 斯威德斯基,斯蒂芬
…还有329位作者

按年份列出的引文