默认搜索操作

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

问别人

2007年第21届CADE：德国不来梅

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2007
弗兰克·普芬宁:
自动扣减-CADE-21，第21届自动扣减国际会议，德国不来梅，2007年7月17-20日，会议记录。计算机科学课堂讲稿4603,施普林格 2007，十亿978-3-540-73594-6

第1部分。受邀演讲：科林·斯特林

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/会议/Stirling07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Stirling07网址
科林·斯特林:
游戏、自动和匹配。 1-2

第2部分。高阶逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/哈桑T07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HasanT07
奥斯曼·哈桑,索菲涅·塔哈尔:
连续概率分布的形式化。 3-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LiS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LiS07
李国栋,康拉德·斯林德:
编译是高阶逻辑中的重写。 19-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/城市BN07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/UrbanBN07网址
克里斯蒂安·厄本,斯特凡·贝尔霍弗,迈克尔·诺里什:
规则归纳中的Barendregt变量约定。 35-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Harrison公司07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Harrison07网址
约翰·哈里森:
使用Gröbner基实现初等数论证明的自动化。 51-66

第三部分。描述逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MotikSH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MotikSH07
鲍里斯·莫提克,罗伯特·希勒,伊恩·霍洛克斯:
使用Hypertableaux优化描述逻辑中的推理。 67-83
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LutzW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LutzW07
卡斯滕·卢茨,弗兰克·沃尔特:
轻量级描述逻辑EL中的保守扩展。 84-99
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/UnelT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/UnelT07
古雷乌内尔,大卫·托曼:
基于自动化的决策过程的增量技术。 100-115

第4部分。直觉主义逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HeilalaP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HeilalaP07
萨穆利·海拉拉,布里吉特·皮恩特卡:
直觉命题模态逻辑IS4的双向决策程序。 116-131
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/安东森W07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AntosenW07
罗杰·安东森,阿里德·瓦勒:
具有可变分割的IPL标记系统。 132-146

第5部分。受邀演讲：阿什什·蒂瓦里

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TiwariG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TiwariG07
阿什什·蒂瓦里,苏米特·古尔瓦尼:
逻辑解释：使用定理证明的静态程序分析。 147-166

第6部分。可满足性模理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GeBT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GeBT07
葛叶亭,克拉克·W·巴雷特,塞萨尔·蒂内利:
利用可满足模理论求解量化验证条件。 167-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MouraB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MouraB07
莱昂纳多·门登萨·德·莫拉,尼古拉·S·比约纳:
SMT解决方案的高效电子匹配。 183-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BonacinaE07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BonacinaE07
玛丽亚·保拉·博纳西纳,Mnacho Echenim公司:
T-分解决策。 199-214
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KuncakR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KuncakR07网址
维克托·昆卡,马丁·里纳德:
用Presburger算法实现布尔代数的有效可满足性检查。 215-230

第7部分。归纳、改写和多态性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Aderhold07号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Aderhold07
马库斯·阿德霍尔德:
公式泛化的改进。 231-246
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GodoyT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GodoyT07
吉勒姆·戈多伊,索菲·蒂森:
关于项重写系统的正规化和唯一正规化性质。 247-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CouchotL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CouchotL07
Jean-François Couchot女士,圣埃芬·莱斯库耶:
处理自动推导中的多态性。 263-278

第8部分。一阶逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HofnerS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HofnerS07网址
彼得·霍夫纳,格奥尔格·斯特鲁思:
克莱恩代数中的自动推理。 279-294
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SutcliffeP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SutcliffeP07
杰夫·萨特克利夫,尤里·普齐斯:
SRASS——一个语义关联公理选择系统。 295-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Lev-AmiWRS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Lev-AmiWRS07
Tal Lev阿米,克里斯托夫·魏登巴赫,托马斯·W·代表,穆利·萨吉夫:
标签条款。 311-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LynchT07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LynchT07
克里斯托弗·林奇,Duc-Khanh Tran公司:
自动可决定性和可组合性重新审视。 328-344

第9部分。受邀演讲：K.鲁斯坦·莱诺

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Leino07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Leino07网址
K.鲁斯坦·莱诺:
设计软件验证条件。 345

第10部分。模型检查和验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PerezV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PerezV07网址
胡安·安东尼奥·纳瓦罗·佩雷斯,安德烈·沃伦科夫:
有效命题逻辑中有界LTL模型检验的编码。 346-361
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GhilardiNRZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GhilardiNRZ07
西尔维奥·吉拉尔迪,恩里卡·尼科里尼,西尔维奥·兰伊斯,丹尼尔·祖切利:
无限状态系统可满足性与模型检验的组合方法。 362-378
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BeckertGHKRSS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BeckertGHKRSS07
伯恩哈德·贝克特,马丁·吉斯,雷内·哈内尔,弗拉基米尔·克莱巴诺夫,菲利普·吕默,斯特芬·施拉格,彼得·施密特:
KeY系统1.0（扣除部分）。 379-384
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MurkLH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MurkLH07
奥列格·穆尔克,丹尼尔·拉尔森,雷内·哈内尔:
KeY-C：C程序验证工具。 385-390
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaeldeGMNT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaeldeGMNT07网站
大卫·巴尔德,安德鲁·加塞克,戴尔·米勒,戈帕兰·纳达图尔,Alwen Tiu先生:
Bedwyr句法表达式模型检查系统。 391-397
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/VerchinineLP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/VerchinineLP07网址
康斯坦丁·弗奇宁,亚历山大·利亚列茨基,安德烈·帕斯科维奇:
自动扣除系统（SAD）：证据验证工具。 398-403

第11部分。受邀演讲：鲍姆加特内

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Baumgartner07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Baumgartner07网址
鲍姆加特内:
基于实例方法的逻辑工程。 404-409

第12部分。终止

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KoprowskiM07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KoprowskiM07
亚当·科普洛夫斯基,阿尔特·米德尔多普:
使用SAT的依赖对预测标记。 410-425
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FalkeK07会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FalkeK07
斯蒂芬·福尔克,迪帕克·卡普尔:
使用非自由构造函数重写的依赖项对。 426-442
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GieslTSS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GieslTSS07
吉尔根·吉斯尔,雷内·蒂曼,斯蒂芬·斯威德斯基,彼得·施奈德-坎普:
通过有限增加证明终止。 443-459
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Krauss07号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Krauss07网站
亚历山大·克劳斯:
经认证的尺寸变更终止。 460-475

第13次会议。Tableaux和一阶系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DeshaneHJLLM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DeshaneHJLLM07
托德·德沙恩,胡文锦,帕蒂·贾布隆斯基,海琳,克里斯托弗·林奇,拉尔夫·埃里克·麦格雷戈:
SAT中的一阶证明编码。 476-491
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaumgartnerFP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaumgartnerFP07
鲍姆加特内,乌尔里希·富巴赫,比约恩·佩尔泽:
等式超表格。 492-507
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PelzerW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PelzerW07
比约恩·佩尔泽,克里斯托夫·沃恩哈德:
系统描述：E-KRHper。 508-513
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WeidenbachSHRT07会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WidenbachSHRT07网址
克里斯托夫·魏登巴赫,雷娜特·施密特,托马斯·希伦布兰德,罗斯蒂斯拉夫·鲁塞夫,Dalibor主题:
系统描述：SpassVersion 3.0。 514-520

管理网站设置

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