默认搜索操作

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

问别人

2013年第24届CADE：美国纽约州普莱西德湖

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 2013年会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2013
玛丽亚·保拉·博纳西纳:
自动扣减-CADE-24-第24届自动扣减国际会议，美国纽约州普莱西德湖，2013年6月9日至14日。诉讼程序。计算机科学课堂讲稿7898,施普林格 2013，国际标准图书编号978-3-642-38573-5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Filliatre公司13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Filliatre13
Jean-Christophe Filliátre女士:
一个逻辑使用它们。 1-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/IosifRS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/IosifRS13
半径Iosif,亚当·罗加列维奇,杰里·西马切克:
具有递归定义的分离逻辑的树宽度。 21-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaumgartnerW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaumgartnerW13网站
鲍姆加特内,乌韦·沃尔德曼:
弱抽象的层次叠加。 39-57
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KersaniP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KersaniP13
阿卜杜勒卡德尔·科尔萨尼,尼古拉斯·佩尔蒂埃:
带指数的一阶子句的完备性和可判定性结果。 58-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Mayer13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Mayer13
Marta Cialdea Mayer公司:
具有绑定、传递性和关系层次的混合逻辑的证明过程。 76-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Comon-LundhCS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Comon-LundhCS13
休伯特·科蒙·隆德,Véronique Cortier公司,纪尧姆·斯卡里:
可追溯推理系统：带有可推论谓词的扩展。 91-108
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AzmyW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AzmyW13
诺兰·阿兹米,克里斯托夫·魏登巴赫:
计算小子句范式。 109-125
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BenderPS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BenderPS13
马库斯·本德,比约恩·佩尔泽,克劳迪娅·肖恩:
系统描述：E-KRHper 1.4-唯一名称和描述逻辑的扩展。 126-134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BeckertGS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BeckertGS13
伯恩哈德·贝克特,拉杰夫·戈尔,卡斯滕·舒尔曼:
逻辑分析投票计数算法及其在CADE选举方案中的应用。 135-144
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Shankar13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Shankar13
纳塔拉詹·尚卡尔:
自动推理，快速和慢速。 145-161
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ChihaniMR13会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ChihaniMR13
扎卡里亚·奇哈尼,戴尔·米勒,法比安·雷诺:
一阶逻辑中的基础证明证书。 162-177
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MouraP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MouraP13
莱昂纳多·门登萨·德·莫拉,格兰特·奥尼·帕斯莫尔:
有理数实闭无穷小和超越扩张中的计算。 178-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LoupSCAB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LoupSCAB13
乌尔里奇·洛普,卡斯滕·谢布勒（Karsten Scheibler）,弗洛里安·科齐利厄斯,埃里卡·阿布拉哈姆,伯恩德·贝克尔:
区间约束传播与柱面代数分解的共生。 193-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GaoKC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GaoKC13
四川高,Soonho Kong公司,埃德蒙·克拉克:
dReal：实域上非线性理论的SMT解算器。 208-214
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GangeSS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GangeSS13
格雷姆恒河,哈拉尔德·森德加德,彼得·斯塔基,彼得·沙赫特:
在模运算上求解差分约束。 215-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ErbaturEKLLMMNSS13号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ErbaturEKLLMMNSS13
塞尔达尔·埃尔巴图尔,圣地亚哥·埃斯科瓦尔,迪帕克·卡普尔,刘志强,克里斯托弗·林奇,凯瑟琳·梅多斯,何塞·梅塞盖尔,巴利亚特·纳伦德兰,索尼娅·圣地亚哥,拉尔夫·萨西:
非对称统一：密码协议分析的新统一范式。 231-248
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ErbaturKMNR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ErbaturKMNR13
塞尔达尔·埃尔巴图尔,迪帕克·卡普尔,安德鲁·马歇尔,巴利亚特·纳伦德兰,克里斯托夫·林盖森:
层次组合。 249-266
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KaliszykU13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KaliszykU13
塞萨里·卡利西克,约瑟夫·乌尔班:
PRocH：HOL灯的验证重建。 267-274
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GoreT13会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GoreT13
拉杰夫·戈尔,吉米·汤姆森:
直觉命题逻辑的一种改进的BDD方法：BDDIntKt系统描述。 275-281
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HawblitzelKLR13会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HawblitzelKLR13
克里斯·霍布利泽尔,明川口,Shuvendu K.Lahiri公司,亨利克·雷贝洛:
使用自动定理证明器的模块化比较程序。 282-299
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HahnleSB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HahnleSB13
雷内·哈内尔,伊娜·谢弗,理查德·布贝尔:
通过抽象方法调用在软件验证中重用。 300-314
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 康夫/卡德/贝克特B13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BeckertB13
伯恩哈德·贝克特,丹尼尔·布伦斯:
具有跟踪语义的动态逻辑。 315-329
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaderBL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaderBL13
弗兰兹·巴德,斯特凡·博格沃德,马塞尔·利普曼:
暂时化基于本体的数据访问。 330-344
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HuleHW13会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HeuleHW13
Marijn鞋跟,沃伦·亨特（Warren A.Hunt Jr.）。,内森·韦茨勒:
用扩展分辨率验证拒绝。 345-359
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Sofronie-Stokkermans13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Sofronie-Stokkermans13
Viorica Sofronie-Stokkerman公司:
参数混合系统验证的层次推理和模型生成。 360-376
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ReynoldsTGKDB13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ReynoldsTGKDB13
安德鲁·雷诺兹,塞萨尔·蒂内利,阿米特·戈尔,萨瓦·克里斯蒂,摩根威慑集团,克拉克·W·巴雷特:
SMT中有限模型发现的量词实例化技术。 377-391
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ClaessenJRS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ClaessenJRS13
科恩·克莱森,莫阿·约翰逊,丹·罗森,尼古拉斯·斯莫尔博内:
使用理论探索实现归纳证明的自动化。 392-406
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KuhlweinSU13号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KuhlweinSU13
丹尼尔·库尔温,斯蒂芬·舒尔茨,约瑟夫·乌尔班:
电子邮件1.1。 407-413
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BlanchetteP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Blanchette第13页
贾斯敏·克里斯蒂安·布兰切特,安德烈·帕斯科维奇:
TFF1：具有秩1多态性的TPTP型一阶形式。 414-420
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WilliamsK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WilliamsK13
理查德·威廉姆斯,波利斯·寇涅夫:
命题时间证明与SAT问题的约简。 421-435
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KaminskiT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KaminskiT13网站
马克·卡明斯基,托比亚斯·特比:
InKreSAT：通过增量简化到SAT的模态推理。 436-442
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KovasznaiFB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KovasznaiFB13
格格利·科瓦什奈,安德烈亚斯·弗罗里奇,阿明·比尔:
：用于将无量化器位矢量公式多项式转换为的工具。 443-449
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HoderV13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HoderV13
克里斯托夫·霍德,安德烈·沃伦科夫:
481种拆分子句和处理命题变量的方法。 450-464

管理网站设置

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