停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

2017年第26届CADE：瑞典哥德堡

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/2017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2017
莱昂纳多·德·莫拉:
自动扣减-CADE 26-第26届自动扣减国际会议，瑞典哥德堡，2017年8月6日至11日，会议记录。计算机科学课堂讲稿10395,施普林格 2017，国际标准图书编号978-3-319-63045-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Andronick17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Andronick17
琼·安德罗妮克:
关于高保证、高性能软件系统中并发性的推理。 1-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SantosGMN17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SantosGMN17
何塞·弗拉戈索·桑托斯,菲利普·加德纳,彼得·马克西莫维奇,Daiva Naudziuniene公司:
JavaScript程序的基于逻辑的验证。 8-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PassmoreI17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PassmoreI17
格兰特·奥尼·帕斯莫尔,丹尼斯·伊格纳托维奇:
财务算法的正式验证。 26-41
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BonacinaGS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/博纳奇纳GS17
玛丽亚·保拉·博纳西纳,圣埃芬·格拉汉·伦格兰德,纳塔拉詹·尚卡尔:
可满足性模理论与赋值。 42-59
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ErbaturMR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ErbaturMR17
塞尔达尔·埃尔巴图尔,安德鲁·马歇尔,克里斯托夫·林盖森:
理论共享建构者组合中的知识观。 60-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Horbach大众17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Horbach大众17
马提亚斯·霍巴赫,马可·沃伊格特,克里斯托夫·魏登巴赫:
关于Bernays-Schönfinkel-Ramsey片段与简单线性整数算法的结合。 77-94
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CimattiGIRS17会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CimattiGIRS17
亚历山德罗·西马蒂,阿尔贝托·格里乔,艾哈迈德·伊尔凡,马可·罗维里,罗伯托·塞巴斯蒂亚尼:
通过增量线性化实现超越函数的可满足模。 95-113
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Cruanes17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Cruanes17
西蒙·克鲁恩斯:
满意模有界检验。第114页至第129页
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HeuleKB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HeuleKB17
Marijn J.H.鞋垫,本杰明·基尔,阿明·比尔:
没有新变量的简短证明。 130-147
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MengRTB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MengRTB17
保罗蒙,安德鲁·雷诺兹,切萨雷·蒂内利,克拉克·W·巴雷特:
SMT中的关系约束求解。 148-165
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Bender公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BenderS17
马库斯·本德,Viorica Sofronie-Stokkerman公司:
测度集理论的决策程序。 166-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CristiaR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CristiaR17
马克西米利亚诺·克里斯蒂亚,吉安弗兰科·罗西:
限制内涵集的决策过程。 185-201
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TuckeW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TeuckeW17
安德烈亚斯·提克,克里斯托夫·魏登巴赫:
一元线性一阶片断的可判定性。 202-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Cruz-FilipeHHKS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Cruz-FilipeHHKS17
路易斯·克鲁斯·菲利佩,Marijn J.H.鞋垫,沃伦·亨特（Warren A.Hunt Jr.）。,马特·考夫曼,彼得·施奈德-坎普:
高效认证RAT验证。 220-236
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Lammich公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Lammich17
彼得·拉姆米奇:
高效验证（UN）SAT证书检查。 237-254年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Blanco公司CM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BlancoCM17
罗伯托·布兰科,扎卡里亚·奇哈尼,戴尔·米勒:
隐式和显式证明之间的转换。 255-273
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Kiesl017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Kiesl017
本杰明·基尔,马丁·苏达:
一阶逻辑中子句消去的统一原则。 274-290
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GleissK017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GleissK017
伯恩哈德·格雷斯,劳拉·科瓦奇,马丁·苏达:
插值分割证明。 291-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/0001SUP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/001SUP17
斯蒂芬·舒尔茨,杰夫·萨特克利夫,约瑟夫·乌尔班,亚当·皮斯:
检测大型一阶知识库中的不一致性。 310-325
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HustadtOD17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HustadtOD17
乌尔里希·赫斯塔特,安娜·奥扎基,克莱尔·狄克逊:
自然上度量时间逻辑的定理证明。 326-343
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ItegulovSP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ItegulovSP17
达尼亚尔·伊特古洛夫,约翰·斯莱尼,Bruno Woltzenlogel古:
清除器0.1：基于冲突解决的定理证明器。 344-356
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PapanagiotouF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PapanagiotouF17网址
巴拿马石油公司,雅克·弗莱里奥特:
WorkflowFM：一个用于形式化过程规范和组合的基于逻辑的框架。 357-370
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LonsingE17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LonsingE17
弗洛里安·朗辛,乌韦·埃格利:
DepQBF 6.0：超越传统QCDCL的基于搜索的QBF求解器。 371-384
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NageleFM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NageleFM17
朱利安·纳格尔,伯特伦·费尔根豪尔,阿尔特·米德尔多普:
CSI：新证据-进展报告。 385-397
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BarbosaBF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BarbosaBF17
哈尼尔·巴博萨,贾斯敏·克里斯蒂安·布兰切特,帕斯卡·方丹:
用于公式处理的可缩放细粒度证明。 398-412
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SternagelS17号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SternagelS17
克里斯蒂安·斯特纳格尔,托马斯·斯特纳格尔:
证明拟减强确定性条件项重写系统的合流性。 413-431
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BeckerBWW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BeckerBWW17网站
海科·贝克尔,贾斯敏·克里斯蒂安·布兰切特,乌韦·沃尔德曼,丹尼尔·旺德:
Lambda-Free高阶项的超有限Knuth-Bendix阶。 432-453
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BrockschmidtJT017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BrockschmidtJT017
马克·布罗克施密特,塞巴斯蒂安·乔斯滕,雷内·蒂曼,山田秋久:
整体过渡系统的安全和终端证明认证。 454-471
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BrotherstonGK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BrotherstonGK17
詹姆斯·布罗瑟斯顿,Nikos Gorogannis公司,马克斯·卡诺维奇:
阵列分离逻辑中的双向消减（及相关问题）。 472-490
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TellezB17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TellezB17
加迪·特莱斯,詹姆斯·布罗瑟斯顿:
使用循环证明自动验证指针程序的时间属性。 491-508
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/XuCW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/XuCW17
徐兆伟,陈陶璐,吴志林:
具有树谓词和数据约束的组合分离逻辑的可满足性。 509-527
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NagashimaK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NagashimaK17
永岛Yutaka Nagashima,拉马纳·库马尔:
Isabelle/HOL的证明策略语言和证明脚本生成。 528-545
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EchenimP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EchenimP17
Mnacho Echenim公司,尼古拉斯·佩尔蒂埃:
金融二项式定价模型：Isabelle的形式化。 546-562
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FarberKU17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FarberKU17
迈克尔·法伯,塞萨里·卡利西克,约瑟夫·乌尔班:
蒙特卡洛表证明搜索。 563-579

服务

管理站点设置

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