默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

利奥·巴赫迈尔

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2005
[公元37年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/iccS/AgronBN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iccS/AgronBN05
保罗·阿格隆,利奥·巴赫迈尔,弗兰克·尼尔森:
形式派生的可视化交互框架。国际计算科学会议（1） 2005:1019-1026
2004
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/ScharffB04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/ScharffB04
克里斯蒂尔·谢尔夫,利奥·巴赫迈尔:
论同余闭包与完成的结合。 AISC公司 2004:103-117
2003
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BachmairTV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BachmairTV03
利奥·巴赫迈尔,阿什什·蒂瓦里,劳伦特·维格纳龙:
抽象同余闭包。 J.汽车。原因。 31(2):129-168(2003)
2001
【p1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/el/RV01/BachmairG01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/el/RV01/Bachmair G01（网址：https://dblp.org/rec/books/el/RV01/Bachmair G01）
利奥·巴赫迈尔,哈拉尔德·甘津格:
分辨率定理证明。自动推理手册 2001:19-99
2000
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BachmairT00会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BachmairT00
利奥·巴赫迈尔,阿什什·蒂瓦里:
抽象同余闭包和特化。 CADE公司 2000:64-78
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TiwariBR00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TiwariBR00
阿什什·蒂瓦里,利奥·巴赫迈尔,哈拉尔德街:
刚性E类-重新审视统一。 CADE公司 2000:220-234
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/BachmairRTV00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/BachmairRTV00
利奥·巴赫迈尔,I.V.罗摩克里希南,阿什什·蒂瓦里,劳伦特·维格纳龙:
同余闭包模关联性和交换性。 FroCoS公司 2000:245-259
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/2000
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/2000
利奥·巴赫迈尔:
重写技术与应用，第11届国际会议，RTA 2000，英国诺维奇，2000年7月10日至12日，会议记录。计算机科学课堂讲稿1833,施普林格 2000，国际标准图书编号3-540-67778-X号 [目录]

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/BachmairRRT99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/BachmairRRT99
利奥·巴赫迈尔,C.R.Ramakrishnan（罗马克里希南）,I.V.罗摩克里希南,阿什什·蒂瓦里:
通过重写闭包进行规范化。 RTA公司 1999:190-204
1998
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jacm/BachmairG98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jacm/BachmairG98
利奥·巴赫迈尔,哈拉尔德·甘津格:
传递关系一阶理论的有序链演算。美国临床医学杂志 45(6):1007-1049(1998)
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BachmairG98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BachmairG98
利奥·巴赫迈尔,哈拉尔德·甘津格:
严格的基本叠加。 CADE公司 1998:160-174
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BachmairGV98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BachmairGV98
利奥·巴赫迈尔,哈拉尔德·甘津格,安德烈·沃伦科夫:
通过有序约束的转换消除平等。 CADE公司 1998:175-190
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/LifantsevB98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/LifantsevB98
马克西姆·利凡采夫,利奥·巴赫迈尔:
基于LPO的无lambda-abstraction的高阶项终止排序。 TPHOL公司 1998:277-293
1997
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Bachmair97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Bachmair97
利奥·巴赫迈尔:
准调制、叠加和简化。库尔特·哥德尔座谈会 1997:1-3
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ra/巴赫迈尔97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/BachmairT97
利奥·巴赫迈尔,阿什什·蒂瓦里:
交换Noetherian环上多项式理想的D-基。 RTA公司 1997:113-127
1996
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/BachmairCRR96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/BachmairCRR96
利奥·巴赫迈尔,Ta Chen先生,C.R.Ramakrishnan（罗马克里希南）,I.V.罗摩克里希南:
基于搜索树的包含算法。 CAAP公司 1996:135-148
1995
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/BachmairGLS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/BachmairGLS95
利奥·巴赫迈尔,哈拉尔德·甘津格,克里斯托弗·林奇,韦恩·斯奈德:
基本准调制。 Inf.计算。 121(2):172-192(1995)
[公元25年]
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/BachmairCRAC95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/BachmairCRAC95
利奥·巴赫迈尔,Ta Chen先生,I.V.罗摩克里希南,湿婆阿南塔拉曼,雅克·查宾:
联想-交换鉴别网实验。国际JCAI 1995:348-355
1994
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aaecc/BachmairGW94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aaecc/BachmairGW94
利奥·巴赫迈尔,哈拉尔德·甘津格,乌韦·沃尔德曼:
层次一阶理论的反驳定理证明。申请。代数工程通讯。计算。 5:193-212(1994)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jacm/BachmairD94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jacm/BachmairD94
利奥·巴赫迈尔,纳丘姆·德肖维茨:
等式推理、规范证明和证明顺序。美国临床医学杂志 41(2):236-276(1994)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BachmairG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BachmairG94
利奥·巴赫迈尔,哈拉尔德·甘津格:
基于重写的等式定理的选择与简化证明。 J.日志。计算。 4(三):217-247(1994)
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BachmairG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BachmairG94
利奥·巴赫迈尔,哈拉尔德·甘津格:
总订单的订单链。 CADE公司 1994:435-450
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccl/BachmairG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccl/BachmairG94
利奥·巴赫迈尔,哈拉尔德·甘津格:
Buchberger算法：基于约束的完成过程。 CCL公司 1994:285-301
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/BachmairGS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/companc/BachmairGS94
利奥·巴赫迈尔,哈拉尔德·甘津格,尤尔根·斯图伯:
一阶定理证明中代数与泛代数的结合：交换环的情形。罗盘/ADT 1994:1-29
[c21]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/巴赫迈尔G94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/BachmairG94
利奥·巴赫迈尔,哈拉尔德·甘津格:
关联-交换叠加。 CTRS公司 1994:1-14
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BachmairG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BachmairG94
利奥·巴赫迈尔,哈拉尔德·甘津格:
改写传递关系技巧。低收入国家 1994:384-393
1993
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/巴赫米尔GW93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/BachmairGW93
利奥·巴赫迈尔,哈拉尔德·甘津格,乌韦·沃尔德曼:
叠加与简化作为一元类等式的判定过程。库尔特·哥德尔座谈会 1993:83-96
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BachmairGW93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BachmairGW93
利奥·巴赫迈尔,哈拉尔德·甘津格,乌韦·沃尔德曼:
集合约束是一元类。低收入国家 1993:75-83
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Bachmair93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Bachmair93
利奥·巴赫迈尔:
定理证明中的重写技巧（摘要）。 RTA公司 1993:1
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tapsoft/BachmairCR93文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tapsoft/BachmairCR93
利奥·巴赫迈尔,Ta Chen先生,I.V.罗摩克里希南:
联合交流歧视网。 TAPSOFT公司 1993:61-74
1992
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ipl/Bachmair92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/Bachmair92
利奥·巴赫迈尔:
关联交换还原顺序。信息处理。莱特。 43(1):21-27(1992)
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/BachmairGW92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/BachmairGW92
利奥·巴赫迈尔,哈拉尔德·甘津格,乌韦·沃尔德曼:
层次一阶理论的定理证明。碱性磷酸酶 1992:420-434
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BachmairGLS92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BachmairGLS92
利奥·巴赫迈尔,哈拉尔德·甘津格,克里斯托弗·林奇,韦恩·斯奈德:
基本准调制和叠加。 CADE公司 1992:462-476
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BachmairG92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BachmairG92
利奥·巴赫迈尔,哈拉尔德·甘津格:
具有选择和冗余准则的非子句分解和叠加。 LPAR公司 1992:273-284
1991
[c12]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BachmairG91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BachmairG91
利奥·巴赫迈尔,哈拉尔德·甘津格:
具有相等性的逻辑程序的完美模型语义。 ICLP公司 1991:645-659
1990
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BachmairG90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BachmairG90
利奥·巴赫迈尔,哈拉尔德·甘津格:
关于有序Paramodulation与简化的限制。 CADE公司 1990:427-441
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/BachmairG90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/BachmairG90
利奥·巴赫迈尔,哈拉尔德·甘津格:
通过严格叠加完成等式的一阶子句（扩展摘要）。 CTRS公司 1990:162-180

1980 – 1989

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1989
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BachmairD89
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BachmairD89
利奥·巴赫迈尔,纳丘姆·德肖维茨:
重写模a同余的完成。西奥。计算。科学。 67(2&3):173-201(1989)
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/Bachmair89
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/Bachmair89
利奥·巴赫迈尔:
分辨率和准调制的证明规范化。 RTA公司 1989:15-28
1988
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/BachmairD88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/BachmairD88
利奥·巴赫迈尔,纳丘姆·德肖维茨:
完成的关键配对标准。 J.塞姆。计算。 6(1):1-18(1988)
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Bachmair88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Bachmair88
利奥·巴赫迈尔:
等式理论中的一致性证明。低收入国家 1988:228-233
1987
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/eurocal/BachmairD87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eurocal/BachmairD87
利奥·巴赫迈尔,纳丘姆·德肖维茨:
完成模同余的一个关键对准则。欧洲 1987:452-453
【c6】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/BachmairD87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BachmairD87
利奥·巴赫迈尔,纳丘姆·德肖维茨:
基于重写的一阶定理证明的推理规则。低收入国家 1987:331-337
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/BachmairD87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/BachmairD87
利奥·巴赫迈尔,纳丘姆·德肖维茨:
重写模a同余的完成。 RTA公司 1987:192-203
1986
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BachmairD86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BachmairD86
利奥·巴赫迈尔,纳丘姆·德肖维茨:
交换、转换和终止。 CADE公司 1986:5-20
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isac/BachmairD86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isac/BachmairD86
利奥·巴赫迈尔,纳丘姆·德肖维茨:
Knuth-Bendix完井程序的关键对标准。 SYMSAC公司 1986:215-217
【c2】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/BachmairDH86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BachmairDH86
利奥·巴赫迈尔,纳丘姆·德肖维茨,Jieh Xiang先生:
等式证明的顺序。低收入国家 1986:346-357
1985
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/BachmairP85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/BachmairP85
利奥·巴赫迈尔,大卫·A·普莱斯特:
关联通信重写系统的终止命令。 J.塞姆。计算。 1(4):329-349(1985)
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/BachmairP85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/BachmairP85
利奥·巴赫迈尔,大卫·A·普莱斯特:
关联路径顺序。 RTA公司 1985:241-254
1980
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cca/BachmairB80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cca/BachmairB80
利奥·巴赫迈尔,布鲁诺·巴赫伯格:
Gröbner-bases特征定理的简化证明。 SIGSAM牛市。 14(4):29-34(1980)

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。