停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2016年第八届国际JCAR：葡萄牙科英布拉

>主页 >会议和研讨会 >国际JCAR

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/2016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2016
尼古拉·奥利维蒂,阿什什·蒂瓦里:
自动推理-第八届国际联合会议，2016年6月27日至7月2日，葡萄牙科英布拉，IJCAR 2016，会议记录。计算机科学课堂讲稿9706,施普林格 2016，国际标准图书编号978-3-319-40228-4

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Avron16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Avron16
阿诺·阿夫伦:
发展和机械化集合理论的逻辑框架。 3-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Gulwani16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Gulwani16
苏米特·古尔瓦尼:
示例编程：应用程序、算法和歧义解决。 9-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Platzer16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Platzer16
安德烈·普拉泽:
网络物理系统的逻辑与证明。 15-21

布尔公式的可满足性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BlanchetteFW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BlanchetteFW16
贾斯敏·克里斯蒂安·布兰切特,马蒂亚斯·弗勒里,克里斯托夫·魏登巴赫:
一个经过验证的SAT解算器框架，具有学习、遗忘、重启和增量功能。 25-44
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KieslSTB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KieslSTB16
本杰明·基尔,马蒂娜·塞德尔,汉斯·汤皮特斯,阿明·比尔:
超级阻塞条款。 45-61

可满足性模理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AbertiGP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AbertiGP16
弗朗西斯科·阿尔贝蒂,西尔维奥·吉拉尔迪,埃琳娜·帕加尼:
计算平面阵列碎片中的约束。 65-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BansalRBT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BansalRBT16
克什蒂吉·班萨尔,安德鲁·雷诺兹,克拉克·W·巴雷特,切萨雷·蒂内利:
SMT中有限集和基数约束的新决策过程。 82-98
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SelsamM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SelsamM16
丹尼尔·塞尔萨姆,莱昂纳多·德·莫拉:
内涵类型理论中的同余闭包。 99-115
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BrombergerW16号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BrombergerW16
马丁·布隆伯格,克里斯托夫·魏登巴赫:
LIA约束求解的快速立方体测试。 116-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ReynoldsBCT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ReynoldsBCT16
安德鲁·雷诺兹,贾斯敏·克里斯蒂安·布兰切特,西蒙·克鲁恩斯,切萨雷·蒂内利:
SMT中递归函数的模型查找。 133-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Sebastiani16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Sebastiani16
罗伯托·塞巴斯蒂亚尼:
色彩让理论变得困难。 152-170

正在重写

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/0001K16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/0001K16
高仁青藤,肯塔罗·菊池:
标称汇流工具。 173-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DuranEEMMT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DuraneEMT16
弗朗西斯科·杜兰,史蒂文·艾克,圣地亚哥·埃斯科瓦尔,纳西索·马蒂-奥列特,何塞·梅塞盖尔,卡罗琳·塔尔科特:
内置变量生成和统一及其在Maude 2.7中的应用。 183-192

算术推理与数学机械化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GanDXZKC16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GanDXZKC16
汀甘,戴丽云,碧灿霞,詹乃军（Naijun Zhan）,迪帕克·卡普尔,陈明帅:
二次多项式不等式的插值综合及其与EUF的结合。 195-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/松崎IKZFKA16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MatsuzakiIKZFKA16
松崎拓哉,伊瓦内,小林文弘,詹益阳,藤崎良彦,Jumma Kudo公司,阿奈Hirokazu,诺里科·H·阿莱:
与青少年比赛-大学前问题的机械化数学基准。 213-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TungKO16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TungKO16
吴宣栋（Vu Xuan Tung）,致Van Khanh,小川瑞之:
raSAT：多项式约束的SMT解算器。 228-237

一阶逻辑与证明理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CernaL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CernaL16
大卫·M·塞尔纳,亚历山大·莱奇:
图解切割消除和有序鸽子洞原理。 241-256
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Nivelle16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Nivelle16
汉斯·德尼维尔:
三值几何分辨率的包含算法。 257-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Sofronie-Stokkermans16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Sofronie-Stokkermans16
Viorica Sofronie-Stokkerman公司:
论理论扩展中的插值和符号消去。 273-289

一阶定理证明

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EbnerHRRWZ16会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EbnerHRRWZ16
加布里埃尔·埃布纳,斯特凡·赫兹尔,吉赛尔·里斯,马丁·里纳,西蒙·沃尔夫斯泰纳,塞巴斯蒂安·齐沃塔:
系统描述：GAPT 2.0。 293-301
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Otten16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Otten16
延斯·奥顿:
nanoCoP：非条款连接证明程序。 302-312
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HoderR0V16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HoderR0V16
克里斯托夫·霍德,贾尔斯·雷格尔,马丁·苏达,安德烈·沃伦科夫:
选择所选内容。 313-329
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/舒尔茨M16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/舒尔茨M16
斯蒂芬·舒尔茨,马丁·莫尔曼:
饱和定理证明的子句选择启发式的性能。 330-345

高阶定理证明

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FarberB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FarberB16
迈克尔·费尔伯,乍得E.布朗:
Satallax内部指南。 349-361
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WisniewskiSKB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WisniewskiSKB16
马克斯·维斯涅夫斯基,亚历山大·斯汀,金·克恩,克里斯托夫·本兹穆勒:
HOL的有效归一化技术。 362-370

模态和时序逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Boudou16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Boudou16
约瑟夫·布杜:
具有并行组合的命题动态逻辑的复杂性最优决策过程。 373-388
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BozzelliMMPS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BozzelliMMPS16
劳拉·博泽利,阿尔贝托·莫利纳里,安吉洛·蒙塔纳里,阿德里亚诺·佩隆,彼得罗·萨拉:
间隔时间逻辑模型检查：好的和坏的HS片段之间的边界。 389-405
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NalonHD16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NalonHD16
科劳迪亚·纳隆,乌尔里希·赫斯塔特,克莱尔·狄克逊:
：基于分辨率的多模K校准仪。 406-415
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Ramanayake16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Ramanayake16
瑞万塔·拉马纳亚克:
索引嵌套序列的诱导句法剪切消除。 416-432

非经典逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CostaM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CostaM16
戴安娜·科斯塔,曼纽尔·马丁斯:
准混合逻辑的Tableau系统。 435-451
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DawsonBG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DowsonBG16
杰里米·道森,詹姆斯·布罗瑟斯顿,拉杰夫·戈尔:
使用显示演算的亚结构逻辑机检插值定理。 452-468
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Docherty第16页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DochertyP16
西蒙·多尔蒂,大卫·J·派姆:
直观的分层图形逻辑。 469-486
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ZoharZ16会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ZoharZ16
尤尼·佐哈尔,安娜·扎曼斯基:
Gen2sat：分析纯序贯演算中判定可导性的自动工具。 487-495

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AminofR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AminofR16
本杰明·阿米诺夫,萨沙·鲁宾:
通过组合方法对参数化多token系统进行模型检查。 499-515
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AthanasiouLW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AthanasiouLW16
康斯坦蒂诺斯·阿萨纳西奥,刘佩尊,托马斯·沃尔:
使用线程状态方程验证无边界线程程序。 516-531
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GuCW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GuCW16
顾新才,陈陶璐,吴志林:
具有数据约束的线性组合分离逻辑的完整决策过程。 532-549
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FrohnNHBG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FrohnNHBG16
弗洛里安·弗洛恩,马蒂亚斯·纳夫,杰拉·亨塞尔,马克·布罗克施密特,吉尔根·吉斯尔:
整数程序的运行时下限。 550-567
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HupelK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HupelK16
拉尔斯·胡佩尔,维克托·昆卡:
将Scala程序转换为Isabelle/HOL-系统描述。 568-577

服务

管理网站设置

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