默认搜索操作

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

问别人

乌韦·沃尔德曼

>主页 >珀森斯

人员信息

附属： 德国萨尔布吕肯马克斯·普朗克信息学研究所

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2024
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcar/Waldmann24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcar/Waldmann24
乌韦·沃尔德曼:
叠加微积分中破坏性等式分解的（In-）完备性。国际JCAR（1） 2024:244-261
[公元31年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/DesharnaisTWBT24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/DesharnaisTWBT24网站
马丁·德沙奈斯,巴拉兹·托斯,乌韦·沃尔德曼,布兰切特,索菲·图雷特:
Isabelle/HOL中叠加的模块化形式化。 ITP公司 2024:12:1-12:20
[i4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2405-03367
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2405-03367
乌韦·沃尔德曼:
叠加微积分中破坏性等式分解的（In-）完备性。 CoRR公司 abs/2405.03367(2024)
2023
[j20]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/BentkampBNTVW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/BentkampBNTVW23
亚历山大·本特坎普,布兰切特,Visa Nummelin卡,索菲·图雷特,佩塔尔·武克米罗维奇,乌韦·沃尔德曼:
机械数学家。 Commun公司。ACM公司 66(4):80-90(2023)
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/BentkampBNTW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/BentkampBNTW23
亚历山大·本特坎普,布兰切特,Visa Nummelin卡,索菲·图雷特,乌韦·沃尔德曼:
通过Lambda-Supposition实现完整高效的高阶推理。 ACM SIGLOG新闻 10(4):25-40(2023)
2022
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/WaldmannTRB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/WaldmannTRB22
乌韦·沃尔德曼,索菲·图雷特,西蒙·罗比拉德,布兰切特:
饱和定理证明的综合框架。 J.汽车。原因。 66(4):499-539(2022)
2021
[公元17年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BentkampBTVW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BentkampBTVW21
亚历山大·本特坎普,布兰切特,索菲·图雷特,彼得·武克米洛维奇,乌韦·沃尔德曼:
与Lambdas叠加。 J.汽车。原因。 65(7):893-940(2021)
[公元16年]
- 看法
  - 电子版@episciences.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/lmcs/BentkampBCW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BentkampBCW21
亚历山大·本特坎普,布兰切特,西蒙·克鲁恩斯,乌韦·沃尔德曼:
Lambda-Free高阶逻辑的叠加。日志。方法计算。科学。 17(2)(2021)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2102-00453
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-00453
亚历山大·本特坎普,布兰切特,索菲·图雷特,彼得·武克米洛维奇,乌韦·沃尔德曼:
与Lambdas叠加。 CoRR公司 abs/2102.00453(2021)
2020
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/SchlichtkrullBT20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/SchlichtkrullBT20
安德斯·施利奇特克鲁尔,布兰切特,德米特里·特拉泰尔,乌韦·沃尔德曼:
将Bachmair和Ganzinger的有序分辨率证明形式化。 J.汽车。原因。 64(7):1169-1195(2020)
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WaldmannTRB20会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WaldmannTRB20
乌韦·沃尔德曼,索菲·图雷特,西蒙·罗比拉德,布兰切特:
饱和定理证明的综合框架。国际JCAR（1） 2020:316-334
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2005-02094
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2005-02094
亚历山大·本特坎普,布兰切特,西蒙·克鲁恩斯,乌韦·沃尔德曼:
Lambda-Free高阶逻辑的叠加。 CoRR公司 abs/2005.02094(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2019
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/0001W19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/0001W19
鲍姆加特内,乌韦·沃尔德曼:
重新审视层次叠加。描述逻辑、理论组合和所有这些 2019:15-56
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BentkampBTVW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BentkampBTVW19
亚历山大·本特坎普,布兰切特,索菲·图雷特,彼得·武克米洛维奇,乌韦·沃尔德曼:
与Lambdas叠加。 CADE公司 2019:55-73
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1904-03776
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1904-03776
鲍姆加特内,乌韦·沃尔德曼:
重新审视层次叠加。 CoRR公司 abs/1904.03776(2019)
2018
[公元14年]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/SchlichtkrullBT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/SchlichtkrullBT18
安德斯·施利奇特克鲁尔,贾斯敏·克里斯蒂安·布兰切特,德米特里·特拉泰尔,乌韦·沃尔德曼:
Bachmair和Ganzinger的有序分辨率校准器的形式化。架构（architecture）。正式证明 2018(2018)
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BentkampBCW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BentkamppBCW18（网址：https://dblp.org/rec/conf/cade/BentkamppBCW18）
亚历山大·本特坎普,贾斯敏·克里斯蒂安·布兰切特,西蒙·克鲁恩斯,乌韦·沃尔德曼:
Lambda-Free高阶逻辑的叠加。国际JCAR 2018:28-46
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SchlichtkrullBT18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SchlichtkrullBT18
安德斯·施利奇特克鲁尔,贾斯敏·克里斯蒂安·布兰切特,德米特里·特拉泰尔,乌韦·沃尔德曼:
将Bachmair和Ganzinger的有序分辨率校准器正式化。国际JCAR 2018:89-107
2017
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/AlthausBDDHRSWW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/AlthausBDDHRSWW17
恩斯特·奥尔特豪斯,比约恩·贝伯,沃纳·达姆,Stefan Disch公司,威廉·哈格曼,阿斯特里德·拉科夫,克里斯托夫·斯科尔,乌韦·沃尔德曼,鲍里斯·维茨:
使用反例引导的抽象精化验证具有大离散状态空间的线性混合系统。科学。计算。程序。 148:123-160(2017)
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Blanchette公司F0W17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BlanchetteF0W17
贾斯敏·克里斯蒂安·布兰切特,帕斯卡·方丹,斯蒂芬·舒尔茨,乌韦·沃尔德曼:
实现快速交互验证的强大高阶自动化。拱廊@CADE 2017:16-23
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BeckerBWW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BeckerBWW17
海科·贝克尔,贾斯敏·克里斯蒂安·布兰切特,乌韦·沃尔德曼,丹尼尔·旺德:
Lambda-Free高阶项的超有限Knuth-Bendix阶。 CADE公司 2017:432-453
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BlanchetteWW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BlanchetteWW17
贾斯敏·克里斯蒂安·布兰切特,乌韦·沃尔德曼,丹尼尔·旺德:
无Lambda的高阶递归路径顺序。 FoSSaCS公司 2017:461-479
2016
[公元12年]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/法新社/贝克尔BWW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/BeckerBWW16
海科·贝克尔,贾斯敏·克里斯蒂安·布兰切特,乌韦·沃尔德曼,丹尼尔·旺德:
Lambda-Free高阶条款Knuth-Bendix订单的形式化。架构（architecture）。正式证明 2016(2016)
[公元11年]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/BlanchetteWW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/BlanchetteWW16
贾斯敏·克里斯蒂安·布兰切特,乌韦·沃尔德曼,丹尼尔·旺德:
Lambda-Free高阶项递归路径阶的形式化。架构（architecture）。正式证明 2016(2016)
2015
[j10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mics/FontainSW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mics/FontaineSW15
帕斯卡·方丹,托马斯·斯特姆,乌韦·沃尔德曼:
特别关注约束和组合的前言。数学。计算。科学。 9(三):265(2015)
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaumgartnerBW15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaumgartnerBW15
鲍姆加特内,约书亚·巴克斯,乌韦·沃尔德曼:
Beagle——一个层次叠加定理的证明。 CADE公司 2015:367-377
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/SchmidtW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/SchmidtW15
雷娜特·施密特,乌韦·沃尔德曼:
具有阻塞和同余闭包的模态表系统。 TABLEAUX公司 2015:38-53
2014
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Waldmann14号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Waldmann14
乌韦·沃尔德曼:
重新审视层次叠加。 IJCAR的PAAR 2014:1
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaumgartnerBW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaumgartnerBW14
鲍姆加特内,约书亚·巴克斯,乌韦·沃尔德曼:
层次定理证明中的有限量化。国际JCAR 2014:152-167
2013
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/HillenbrandPWW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/HillenbrandPWW13
托马斯·希伦布兰德,鲁齐卡·皮斯卡,乌韦·沃尔德曼,克里斯托夫·魏登巴赫:
从搜索到计算：工作中的冗余标准和简化。编程逻辑 2013:169-193
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaumgartnerW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaumgartnerW13
鲍姆加特内,乌韦·沃尔德曼:
弱抽象的层次叠加。 CADE公司 2013:39-57
2012
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/scp/DamDDHPSWW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/DammDDHPSWW12
沃纳·达姆,亨宁·迪尔克斯,Stefan Disch公司,威廉·哈格曼,弗洛里安·皮戈什,克里斯托夫·斯科尔,乌韦·沃尔德曼,鲍里斯·维茨:
具有大型离散状态空间的线性混合自动机的精确和完全符号验证。科学。计算。程序。 77(10-11):1122-1150(2012)
2011
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BaumgartnerW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BaumgartnerW11
鲍姆加特内,乌韦·沃尔德曼:
叠加和模型演化组合微积分。 J.汽车。原因。 47(2):191-227(2011)

2000 – 2009

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2009
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaumgartnerW09会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaumgartnerW09
鲍姆加特内,乌韦·沃尔德曼:
叠加和模型演化相结合。 CADE公司 2009:17-34
2007
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/JacobsW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/JacobsW07
瑞典雅各布斯,乌韦·沃尔德曼:
比较自动推理的实例生成方法。 J.汽车。原因。 38(1-3):57-78(2007)
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DammDHJPPSWW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DammDHJPPSWW07
沃纳·达姆,Stefan Disch公司,哈迪·亨加,瑞典雅各布斯,彭军（Jun Pang）,弗洛里安·皮戈什,克里斯托夫·斯科尔,乌韦·沃尔德曼,鲍里斯·维茨:
大离散状态空间线性混合系统验证中的精确状态集表示。 ATVA公司 2007:425-440
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/路德维希W07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/LudwigW07
米歇尔·路德维希,乌韦·沃尔德曼:
具有类LPO性质的Knuth-Bendix序的推广。 LPAR公司 2007:348-362
2006
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/GanzingerSW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/GanzingerSW06
哈拉尔德·甘津格,Viorica Sofronie-Stokkerman公司,乌韦·沃尔德曼:
具有Evans等式的部分函数的模证明系统。 Inf.计算。 204(10):1453-1492(2006)
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DammDHPPSWW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DammDHPPSWW06
沃纳·达姆,Stefan Disch公司,哈迪·亨加,彭军（Jun Pang）,弗洛里安·皮戈什,克里斯托夫·斯科尔,乌韦·沃尔德曼,鲍里斯·维茨:
具有大离散状态空间的混合系统的自动验证。 ATVA公司 2006:276-291
2005
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/JacobsW05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/雅各布斯W05
瑞典雅各布斯,乌韦·沃尔德曼:
比较自动推理的实例生成方法。 TABLEAUX公司 2005:153-168
2004
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GanzingerSW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GanzingerSW04
哈拉尔德·甘津格,Viorica Sofronie-Stokkerman公司,乌韦·沃尔德曼:
弱等式部分函数的模证明系统。国际JCAR 2004:168-182
2003
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GanzingerHW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GanzingerHW03
哈拉尔德·甘津格,托马斯·希伦布兰德,乌韦·沃尔德曼:
叠加模是肖斯塔克理论。 CADE公司 2003:182-196
2002
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Waldmann02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Waldmann02
乌韦·沃尔德曼:
否认定理证明中的可消阿贝尔幺半群及其相关结构（上）。 J.塞姆。计算。 33(6):777-829(2002)
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/Waldmann02a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/Waldmann02a
乌韦·沃尔德曼:
反驳定理证明中的可消阿贝尔幺半群及其相关结构（第二部分）。 J.塞姆。计算。 33(6):831-861(2002)
2001
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Waldmann01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Waldmann01
乌韦·沃尔德曼:
全序可分阿贝尔群的叠加与链。国际JCAR 2001:226-241

1990 – 1999

请参阅常见问题解答

出版物列表中的颜色是什么意思？

1999
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Waldmann99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Waldmann99
乌韦·沃尔德曼:
相消叠加决定了可分无扭阿贝尔群理论。 LPAR公司 1999:131-147
1998
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ip/Waldmann98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/Waldmann98
乌韦·沃尔德曼:
将减少订单扩展到与ACU兼容的减少订单。信息处理。莱特。 67(1):43-49(1998)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Waldmann98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Waldmann98
乌韦·沃尔德曼:
可分无挠阿贝尔群的叠加。 CADE公司 1998:144-159
1997
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/博士/Waldmann2004
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/de/Waldmann2004年
乌韦·沃尔德曼:
反驳定理证明中的消去阿贝尔单群。萨尔州大学，1997，第1-218页
1996
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GanzingerW96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GanzingerW96
哈拉尔德·甘津格,乌韦·沃尔德曼:
可消阿贝尔幺半群中的定理证明（扩展抽象）。 CADE公司 1996:388-402
1994
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aaecc/BachmairGW94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aaecc/BachmairGW94
利奥·巴赫迈尔,哈拉尔德·甘津格,乌韦·沃尔德曼:
层次一阶理论的反驳定理证明。申请。代数工程通讯。计算。 5:193-212(1994)
1993
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/巴赫米尔GW93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/BachmairGW93
利奥·巴赫迈尔,哈拉尔德·甘津格,乌韦·沃尔德曼:
叠加与简化作为一元类等式的判定过程。库尔特·哥德尔座谈会 1993:83-96
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BachmairGW93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BachmairGW93
利奥·巴赫迈尔,哈拉尔德·甘津格,乌韦·沃尔德曼:
集合约束是一元类。许可证 1993:75-83
1992
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Waldmann92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Waldmann92
乌韦·沃尔德曼:
订单分类规范的语义。西奥。计算。科学。 94(1):1-35(1992)
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/BachmairGW92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/BachmairGW92
利奥·巴赫迈尔,哈拉尔德·甘辛格,乌韦·沃尔德曼:
层次一阶理论的定理证明。碱性磷酸酶 1992:420-434
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/GanzingerW92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/GanzingerW92
哈拉尔德·甘津格,乌韦·沃尔德曼:
通过条件重写系统的良好模型逻辑程序的终止证明。 CTRS公司 1992:430-437
1990
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctrs/Waldmann90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctrs/Waldmann90
乌韦·沃尔德曼:
顺序排序重写规则的兼容性。 CTRS公司 1990:407-416

合著者索引

请参阅常见问题解答

管理站点设置

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