默认搜索操作

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

问别人

2015年第25届CADE：德国柏林

>主页 >会议和研讨会 >CADE公司

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/2015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2015
艾米·费尔蒂,阿尔特·米德尔多普:
自动扣除——CADE-25——第25届自动扣除国际会议，德国柏林，2015年8月1日至7日，会议记录。计算机科学课堂讲稿9195,施普林格 2015，国际标准图书编号978-3-319-21400-9

自动扣除的过去、现在和未来

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Plasted15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Plasted15
大卫·A·普莱斯特:
一阶自动扣除的历史和前景。 3-28
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Martin15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Martin15
乌苏拉·马丁:
在黑暗中蹒跚而行：日常数学的教训。 29-51

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Furbach公司PS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FurbachPS15
乌尔里希·富巴赫,比约恩·佩尔泽,克劳迪娅·肖恩:
野外自动推理。 55-72
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AlamaOZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AlamaOZ15
杰西·阿拉玛,保罗·奥本海默,爱德华·扎尔塔:
自动化莱布尼茨的概念理论。 73-97

竞争概况

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AotoHN0Z15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AotoHN0Z15
高仁青藤,Nao Hirokawa先生,朱利安·纳格尔,西田直树,哈拉尔德·赞克:
2015年合流竞赛。 101-104
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GieslMRTW15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GieslMRTW15
吉尔根·吉斯尔,弗雷德里克·梅斯纳德,阿尔伯特·鲁比奥,雷内·蒂曼,约翰内斯·沃尔德曼:
终止竞争（术语COMP 2015）。 105-108

正在重写

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SakaiOO15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SakaiOO15
酒井正彦,Michio Oyamaguchi小山口,小川瑞之:
非E重叠、弱浅层和非折叠TRS汇合。 111-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ShintaniH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ShintaniH15网站
Kiraku Shintani公司,广川直夫:
CoLL：用于左线性项重写系统的汇流工具。 127-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/JacquemardKS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/JacquemardKS15
弗洛伦特·雅克马尔,小岛吉郎,酒井正彦:
带有前缀上下文约束和自底向上策略的术语重写。 137-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SatoW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SatoW15
佐藤春彦,莎拉·温克勒:
编码依赖对技术和最大完成控制策略。 152-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/IborraNVY15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/IborraNVY15
何塞·伊波拉,西田直树,格尔曼·维达尔,山田秋久:
减少依赖对问题的相对终止。 163-178

决策程序

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Passmore公司15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Passmore15
格兰特·奥尼·帕斯莫尔:
带有理幂和整数幂谓词的一元实代数的可判定性。 181-196
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ReynoldsB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ReynoldsB15
安德鲁·雷诺兹,贾斯敏·克里斯蒂安·布兰切特:
SMT解算器中（Co）数据类型的决策过程。 197-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/David15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/David15
艾米莉·戴维:
决定ATL^*Tableaux的可满足性。 214-228

交互式/自动定理证明及其应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Paulson15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Paulson15
劳伦斯·保尔森:
使用遗传有限集的有限自动机的形式化。 231-245
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GransdenWR15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GransdenWR15
托马斯·格兰斯登,尼尔·沃尔金肖,拉杰夫·拉曼:
SEPIA：使用推断自动机搜索证据。 246-255
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MaricJM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MaricJM15
菲利普·马里克,Predrag Janicic公司,马尔科·马利科维奇:
利用Isabelle/HOL和Z3证明KRK国际象棋终局策略的正确性。 256-271
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PientkaC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PientkaC15
布里吉特·皮恩特卡,凯夫:
归纳白鲸：编程证明。 272-281

自动化和共享校样的新技术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Baumgartner15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Baumgartner15
鲍姆加特内:
SMTtoTPTP-定理证明格式的转换器。 285-294
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Ji15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Ji15
凯良吉:
推导模块中的CTL模型检查。 295-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EchenimPT15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EchenimPT15
Mnacho Echenim公司,尼古拉斯·佩尔蒂埃,索菲·图雷特:
无量词等式逻辑与素蕴涵生成。 311-325
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KissingerZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KissingerZ15
亚历克斯·基辛格,弗拉基米尔·扎姆德日耶夫:
Quantomatic：图表推理的证明助手。 326-336

自动化一阶逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/RegerTV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RegerTV15
贾尔斯·雷格尔,德米特里·蒂什科夫斯基,安德烈·沃伦科夫:
合作证明尝试。 339-355
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Gorzny第15页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GorznyP15
简·戈兹尼,Bruno Woltzenlogel古:
通过降低单位子句实现一阶分辨率证明的压缩。 356-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaumgartnerBW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaumgartnerBW15
鲍姆加特内,约书亚·巴克斯,乌韦·沃尔德曼:
Beagle-一个层次叠加定理证明程序。 367-377
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MourraKADR15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MouraKADR15
莱昂纳多·门登萨·德·莫拉,宋浩岗,杰里米·阿维加德,弗洛里斯·范·道恩,雅各布·冯·劳默:
精益定理证明器（系统描述）。 378-388
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KaliszykSUV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KaliszykSUV15
塞萨里·卡利西克,斯蒂芬·舒尔茨,约瑟夫·乌尔班,杰里·维斯科西尔:
系统描述：E.T.0.1。 389-398
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/RegerSV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RegerSV15
贾尔斯·雷格尔,马丁·苏达,安德烈·沃伦科夫:
玩阿凡达。 399-415

组合

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Chocron公司FR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ChocronFR15
保拉·丹妮拉·乔克罗,帕斯卡·方丹,克里斯托夫·林盖森:
一种礼貌的非错位组合方法：重新审视具有桥接函数的理论。 419-433
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SaghafiDD15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SaghafiDD15
萨勒曼·萨加菲,瑞安·达纳斯,丹尼尔·道尔蒂:
使用建模助手探索理论。 434-449
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DSilvaU15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DSilvaU15
维杰·德席尔瓦,Caterina城市:
摘要解释为自动扣除。 450-464

混合系统与程序综合

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Platzer15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Platzer15
安德烈·普拉泽:
微分动态逻辑的一致置换微积分。 467-481
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TiwariGD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TiwariGD15
阿什什·蒂瓦里,阿德里亚·加斯科恩,布鲁诺·杜特雷:
使用双重解释的程序合成。 482-497

程序验证的逻辑和系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HouGT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HouGT15
哲侯,拉杰夫·戈尔,Alwen Tiu先生:
具有所有连接词的分离逻辑中断言的自动定理证明。 501-516
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DinBH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DinBH15
水晶长汀,理查德·布贝尔,雷内·哈内尔:
KeY-ABS：并发建模语言ABS的演绎验证工具。 517-526
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FultonMQVP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FultonMQVP15
内森·富尔顿,斯特凡·米奇,Jan-Divid Quesel公司,马库斯·沃尔普,安德烈·普拉泽:
KeYmaera X：混合系统公理化战术定理证明程序。 527-538
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BalbianiB15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BalbianiB15
菲利普·巴尔比亚尼,约瑟夫·布杜:
具有分离并行组合的命题动态逻辑的Tableaux方法。 539-554

统一

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Libal15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Libal15
托默·利瓦尔:
二阶统一中的正则模式。 557-571
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BackemanR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BackemanR15
彼得·贝克曼,菲利普·吕默:
有界刚性E-统一定理的证明。 572-587

SAT/SMT测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HeuleHW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HeuleHW15
Marijn鞋跟,沃伦·亨特（Warren A.Hunt Jr.）。,内森·韦茨勒:
在DRAT证明中表示对称破坏。 591-606
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ZulkoskiGC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ZulkoskiGC15
爱德华·祖尔科斯基,维贾伊·加内什,克日什托夫·沙内基（Krzysztof Czarnecki）:
MathCheck：通过计算机代数系统和SAT解算器组合的数学助手。 607-622
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Bromberger0W15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Bromberger0W15
马丁·布隆伯格,托马斯·斯特姆,克里斯托夫·魏登巴赫:
重温线性整数算法。 623-637

管理网站设置

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