停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第四届国际JCAR 2008：澳大利亚新南威尔士州悉尼

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/2008年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2008
亚历山德罗·阿曼多,鲍姆加特内,吉尔斯·道克:
自动推理，第四届国际联合会议，2008年8月12日至15日，澳大利亚悉尼，IJCAR 2008，会议记录。计算机科学课堂讲稿5195,施普林格 2008，国际标准图书编号978-3-540-71069-1

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Gupta08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Gupta08
阿尔蒂·古普塔:
软件验证：自动决策过程的作用和挑战。 1

具体理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Melquiond08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Melquiond08
纪尧姆·梅尔金德:
用计算证明实值函数的界。 2-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Nipkow08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Nipkow08
托比亚斯·尼普科:
线性量词消除。 18-33
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BozgaIP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BozgaIP08
马吕斯·博兹加,半径Iosif,斯旺·佩拉诺:
带列表的定量分离逻辑和程序。 34-49
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HofnerS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HofnerS08
彼得·霍夫纳,乔治·斯特鲁斯:
关系演算自动化。 50-66

自动验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GhilardiNRZ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GhilardiNRZ08
西尔维奥·吉拉尔迪,恩里卡·尼科里尼,西尔维奥·兰伊斯,丹尼尔·祖切利:
基于阵列系统的SMT模型检查。 67-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BartheGP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BartheGP08
吉尔斯·巴特,本杰明·格雷戈里,玛丽埃拉·巴夫洛娃:
保存从Java到Java虚拟机的证明义务。 83-99
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DarvasMR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DarvasMR08
阿尔达姆·达瓦斯,法哈德·梅塔,阿尔塞尼·鲁迪奇:
高效的良好定义检查。 100-115

协议验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KremerMT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KremerMT08
史蒂夫·克莱默,安托万·梅西尔,拉尔夫·特雷恩:
证明组协议对窃听者安全。 116-131

系统描述1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AvanziniMS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AvanziniMS08
马丁·阿文齐尼,乔治·莫瑟,安德烈亚斯·施纳布尔:
自动隐式计算复杂性分析（系统描述）。 132-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FurbachGHP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FurbachGHP08
乌尔里希·富巴赫,英戈·格勒克纳,赫尔曼·赫尔比格,比约恩·佩尔泽:
LogAnswer-基于演绎的问答系统（系统描述）。 139-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BeierleKK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BierleKK08
克里斯托夫·贝尔,加布里埃尔·克恩·伊斯伯纳,妮可·科赫:
具有默认规则的自动推理系统的高级实现（系统描述）。 147-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Gacek08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Gacek08
安德鲁·加塞克:
阿贝拉互动定理证明器（系统描述）。 154-161
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BenzmullerPTF08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BenzmullerPTF08
克里斯托夫·本兹穆勒,劳伦斯·C·保尔森,弗兰克·泰斯,阿诺德·菲茨克:
LEO-II——经典高阶逻辑的协同自动定理证明程序（系统描述）。 162-170
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PlatzerQ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PlatzerQ08
安德烈·普拉泽,简·大卫·奎塞尔:
KeYmaera：混合系统的混合定理证明器（系统描述）。 171-178

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Lutz08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Lutz08
卡斯滕·卢茨:
表达描述逻辑中连词查询答案的复杂性。 179-193

模态逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SchmidtT08会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SchmidtT08
雷娜特·施密特,德米特里·蒂什科夫斯基:
确定描述逻辑、模态逻辑和相关一阶片段的通用表方法。 194-209
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KaminskiS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KaminskiS08
马克·卡明斯基,格特·斯莫尔卡:
具有差模态和逆的混合逻辑的终止表。 210-225

描述逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaderP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaderP08
弗兰兹·巴德,拉斐尔·佩尼亚洛萨:
基于自动的Axiom精确定位。 226-241
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MotikH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MotikH08
鲍里斯·莫提克,伊恩·霍洛克斯:
描述逻辑推理中的个体重用。 242-258
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KonevWW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KonevWW08
波利斯·寇涅夫,德克·沃尔特,弗兰克·沃尔特:
描述逻辑术语的逻辑差异问题。 259-274

系统描述2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Kovacs08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Kovacs08
劳拉·科瓦奇:
Aligator：不变量生成的Mathematica包（系统描述）。 275-282
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Otten08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Otten08
延斯·奥顿:
leanCoP 2.0和ileanCoP 1.2：经典逻辑和直觉逻辑中的高性能精益定理证明（系统描述）。 283-291
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Korovin08号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Korovin08
康斯坦丁柯罗文:
iProver-一阶逻辑的基于实例化的定理证明器（系统描述）。 292-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GoreP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GoreP08
拉杰夫·戈尔,琳达·波斯特妮斯:
全局缓存的实验评估（系统描述）。 299-305年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SatoWKM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SatoWKM08
佐藤春彦,莎拉·温克勒,黑原Masahito Kurihara,阿尔特·米德尔多普:
带终端工具的多功能完成（系统描述）。 306-312
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DuranLM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DuranLM08
弗朗西斯科·杜兰,萨尔瓦多·卢卡斯,何塞·梅塞盖尔:
MTT：Maude终端工具（系统描述）。 313-319
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Schack-NielsenS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Schack-NielsenS08
安德斯·沙克·尼尔森,卡斯滕·舒尔曼:
Celf-演绎和并发系统的逻辑框架（系统描述）。 320至326

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Dershowitz08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Dershowitz08
纳丘姆·德肖维茨:
正典！ 327-331

等式理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TourEN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TourEN08
蒂埃里·德拉图尔男孩,Mnacho Echenim公司,帕利亚斯·纳伦德兰:
统一与匹配模叶置换等式表示。 332-347
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Oostrom08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Oostrom08
文森特·范·奥斯特罗姆:
汇流模块化。 348-363
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HirokawaM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HirokawaM08
Nao Hirokawa先生,乔治·莫瑟:
基于依赖对方法的自动化复杂性分析。 364-379
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BonacinaD08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BonacinaD08
玛丽亚·保拉·博纳西纳,纳丘姆·德肖维茨:
蕴涵系统的规范推理。 380-395

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Comon-Lundh08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Comon-Lundh08网站
休伯特·科蒙·隆德:
安全协议自动验证面临的挑战。 396-409

定理证明1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MouraB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MouraB08
莱昂纳多·门登萨·德·莫拉,尼古拉·S·比约纳:
使用DPLL和替换集有效地确定命题逻辑。 410-425
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PerezV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PerezV08
胡安·安东尼奥·纳瓦罗·佩雷斯,安德烈·沃伦科夫:
有效命题逻辑的证明系统。 426-440
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/UrbanSPV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/UrbanSPV08
约瑟夫·乌尔班,杰夫·萨特克利夫,彼得·普德拉克,杰里·维斯科西尔:
MaLARea SG1-带语义指导的自动推理机器学习器。 441-456

中国科学院

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Sutcliffe08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Sutcliffe08
杰夫·萨特克利夫:
CASC-J4第四届IJCAR ATP系统竞赛。 457-458

定理证明2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FietzkeW08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FietzkeW08
阿诺德·菲茨克,克里斯托夫·魏登巴赫:
标签拆分。 459-474
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MouraB08a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MouraB08a
莱昂纳多·门登萨·德·莫拉,尼古拉·比约纳:
工程DPLL（T）+饱和。 475-490
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BenzmullerRS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BenzmullerRS08
克里斯托夫·本兹穆勒,弗洛里安·拉贝,杰夫·萨特克利夫:
THF0-高阶逻辑TPTP语言的核心。 491-506年

逻辑框架

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NigamM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NigamM08
维维克·尼甘姆,戴尔·米勒:
聚焦于线性Meta-logic。 507-522

树自动机

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BoyerGJ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BoyerGJ08
贝诺·博伊尔,托马斯·杰奈特,托马斯·詹森:
认证树自动完成检查器。 523-538
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BouhoulaJ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BouhoulaJ08
阿德尔·布胡拉,弗洛伦特·雅克马尔:
带约束树自动机的自动归纳法。 539-554

服务

管理站点设置

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