停止战争！

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

对于科学家来说：

默认搜索操作

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

问别人

2012年第六届国际JCAR：英国曼彻斯特

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

优化列表

精炼活动！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 2012年会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2012
伯恩哈德·格拉姆利希,戴尔·米勒,乌利·萨特勒:
自动推理-第六届国际联合会议，2012年6月26-29日，英国曼彻斯特，IJCAR 2012。诉讼程序。计算机科学课堂讲稿7364,施普林格 2012，国际标准图书编号978-3-642-31364-6

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Bjorner12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Bjorner12
尼古拉·比约纳:
用Z3-（摘要）将可满足性提升到下一个水平。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Matiyasevich公司12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Matiyasevich12
尤里·马蒂亚塞维奇:
扩大数学自动推理成功技术的适用范围。 9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Nieuwenhuis12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Nieuwenhuis12
罗伯特·尼文胡斯:
SAT和SMT仍在解决：问题和挑战。 10-13

全文和系统描述

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AnantharamanELNR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AnantharamanELNR12
湿婆阿南塔拉曼,塞尔达尔·埃尔巴图尔,克里斯托弗·林奇,巴利亚特·纳伦德兰,米夏埃尔·鲁西诺维奇:
统一模同步分布。 14-29
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaderBM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaderBM12网址
弗兰兹·巴德,斯特凡·博格沃德,芭芭拉·莫劳斯卡:
统一的SAT编码_{R（右）⁺}w.r.t.循环受限本体论。 30-44
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaderMM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaderMM12
弗兰兹·巴德,朱利安·门德斯,芭芭拉·莫劳斯卡:
UEL：描述逻辑统一解算器-系统描述。 45-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BazLZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BazLZ12
马提亚斯·巴兹,奥里·拉哈夫,安娜·扎曼斯基:
标记演算的有效有限值语义。 52-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BobotCCIMMM12会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BobotCCIMM12
弗朗索瓦·博博特,Sylvain Conchon公司,伊芙琳·孔特让,穆罕默德·伊格内拉拉,阿西亚·马布比,阿兰·梅布苏特,纪尧姆·梅尔金德:
求解线性整数算法的Forier-Motzkin的一种基于单纯形的扩展。 67-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BorgwardtDP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BorgwardtDP12
斯特凡·博格沃德,费利克斯·迪斯特尔,拉斐尔·佩尼亚洛萨:
我的模糊描述逻辑有多模糊？ 82-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Brock-NannestadS12号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Brock-NannestadS12
Taus Brock-Nannestad公司,卡斯滕·舒尔曼:
真实的一元抽象。 97-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Brown12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Brown12
乍得E.布朗:
Satallax:一种自动的高阶校准器。 111-117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BruttomessoGR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BruttomessoGR12
罗伯托·布鲁托梅索,西尔维奥·吉拉尔迪,西尔维奥·兰伊斯:
从强可合并性到无量词插值的模块化。 118-133
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ChekolEGL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ChekolEGL12
Melisachew Wudage Chekol公司,杰尔·尤泽纳特,皮埃尔·杰奈维斯,纳比尔·拉伊达:
RDFS包含制度下的SPARQL查询包含。 134-148
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BoerBR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BoerBR12
弗兰克·S·德·波尔,马塞洛·M·邦桑格,侏罗纪腐朽:
用指针自动验证递归程序。 149-163
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DelauneKP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DelauneKP12
圣埃芬妮·德劳恩,史蒂夫·克莱默,丹尼尔·帕塞拉:
安全协议、约束系统和群论。 164-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DemriDS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DemriDS12
斯特凡·德姆里,阿米特·库马尔·达尔,阿诺德·桑尼尔:
驯服过去的LTL和平面计数器系统。 179-193
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EchenimP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EchenimP12
Mnacho Echenim公司,尼古拉斯·佩尔蒂埃:
生成基本解释的微积分。 194-209
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EmmerKKSV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EmmerKKSV12
莫西·埃默尔,苏拉布·卡西达什维利,康斯坦丁柯罗文,克里斯托夫·斯特克塞尔,安德烈·沃伦科夫:
基于EPR的字级有界模型检查。 210-224
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EmmesEG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EmmesEG12
费边·埃姆斯,蒂姆·恩格尔,吉尔根·吉斯尔:
自动证明非联机非终止。 225-240
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FalkeK12号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FalkeK12
斯蒂芬·福克,迪帕克·卡普尔:
重写归纳法+线性算术=决策程序。 241-255
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Fontainew12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FontaineMW12
帕斯卡·方丹,斯蒂芬·默兹,克里斯托夫·魏登巴赫:
不相交理论的结合：超越可决定性。 256-270
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Foster公司12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FosterS12
西蒙·福斯特,乔治·斯特鲁斯:
正则代数的自动分析。 271-285
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GaoAC12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GaoAC12
四川高,杰里米·阿维加德,埃德蒙·克拉克:
δ-雷亚尔可满足性的完整决策程序。 286-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GoreT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GoreT12
拉杰夫·戈尔,吉米·汤姆森:
基于BDD的命题双直觉时态逻辑自动推理。 301-315
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HeamHK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HeamHK12
皮尔雷·科里勒·海姆,文森特·雨果,奥尔加·库什纳伦科:
从线性时序逻辑属性到重写命题。 316-331
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/JacquelBDD12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/JacquelBDD12
梅拉妮·杰奎尔,卡里姆·贝尔卡尼,大卫·德拉海耶,凯瑟琳·杜布瓦:
使用叠加演绎的Tableaux模理论——应用Zenon自动定理证明程序验证B证明规则。 332-338
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/JovanovicM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/JovanovicM12
德扬·约万诺维奇,莱昂纳多·门登萨·德·莫拉:
求解非线性算法。 339-354
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/JarvisaloHB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/JarvisaloHB12
马蒂·贾维萨洛,Marijn鞋跟,阿明·比尔:
正在处理规则。 355-370
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KonevLW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KonevLW12
波利斯·寇涅夫,米歇尔·路德维希,弗兰克·沃尔特:
使用CEX2.5进行逻辑差分计算。 371-377
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KuhlweinLTUH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KuhlweinLTUH12
丹尼尔·库尔文,特万·范·拉霍温,叶夫根·齐夫茨瓦泽,约瑟夫·乌尔班,汤姆·海斯克斯:
大理论数学前提选择技术综述与评价。 378-392
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LateL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LateL12
马库斯拿铁,马丁·兰格:
分支时间？修剪时间！ 393-407
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Marshall公司12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MarshallN12
安德鲁·马歇尔,巴利亚特·纳伦德兰:
统一模单面分布及其变量的新算法。 408-422
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NikolicS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NikolicS12
杜利卡·尼科利奇,福斯托·斯波托:
程序变量的可达性分析。 423-438
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/QueselP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/QueselP12
Jan-Divid Quesel公司,安德烈·普拉泽:
使用KeYmaera玩混合游戏。 439-453
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/RathsO12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RathsO12
托马斯·拉思,延斯·奥顿:
一阶模态逻辑的QMLTP问题库。 454-461
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/RauSS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RauSS12
康拉德·劳,大卫·萨贝尔,曼弗雷德·施密特·沙乌:
程序转换作为终止问题的正确性。 462-476
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Schulz12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Schulz12
斯蒂芬·舒尔茨:
用于调整和重写的指纹索引。 477-483
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SebastianiT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SebastianiT12
罗伯托·塞巴斯蒂亚尼,西尔维娅·托马西:
使用${mathcal LA}$（ℚ）成本函数优化SMT。 484-498
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SpielmannK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SpielmannK12
安德烈·斯皮尔曼,维克托·昆卡:
无界位矢量算法的综合。 499-513
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SteigmillerLG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SteigmillerLG12
安德烈亚斯·斯特格米勒,托尔斯滕·利比希,伯特·格利姆:
用于表达描述逻辑的扩展缓存、后跳和合并。 514-529
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SternagelZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SternagelZ12
托马斯·斯特纳格尔,哈拉尔德·赞克:
KBCV-Knuth-Bendix完井可视化仪。 530-536
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SudaW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SudaW12
马丁·苏达,克里斯托夫·魏登巴赫:
基于标记叠加和部分模型制导的PLTL-Prover。 537-543
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Tiu12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Tiu12
Alwen Tiu先生:
定义逻辑中的分层。 544-558
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/UrbasJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/UrbasJ12
马特杰·乌尔巴斯,马蒂亚·贾姆尼克:
迪亚贝利：一个异构证明系统。 559-566

服务

管理网站设置

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