停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2004年第二届国际JCAR：爱尔兰科克郡科克

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/2004
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2004
大卫·A·巴思，米夏·鲁西诺维奇:
自动推理——第二届国际联合会议，IJCAR 2004，爱尔兰科克，2004年7月4日至8日，会议记录。计算机科学课堂讲稿3097,施普林格 2004，国际标准图书编号3-540-22345-2

正在重写

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Meseguer04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MeseguerR04
何塞·梅塞格尔，格里戈尔·罗苏:
重写逻辑语义：从语言规范到形式分析工具。 1-44
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Lochner04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Lochner04网址
伯恩德·洛什内尔:
一种基于有序重写地面可还原性的冗余准则。 45-59
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/RiazanovV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RiazanovV04
亚历山大·里扎诺夫，安德烈·沃伦科夫:
有效检查术语排序约束。 60-74
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TiemannGS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TiemannGS04
雷内·蒂曼，吉尔根·吉斯尔，彼得·施奈德-坎普:
使用依赖对改进的模块化终端证明。 75-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GodoyT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GodoyT04
吉勒姆·戈多伊，Ashish蒂瓦里:
用重写闭包判定右（基或变量）重写系统的基本性质。 91-106

基于饱和的定理证明

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BofillR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BofillR04
Miquel Bofill公司，阿尔伯特·鲁比奥:
非单调序的参数调制的冗余概念。 107-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KazakovN04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KazakovN04
叶夫根尼·哈萨克夫，汉斯·德尼维尔:
具有过渡防护装置的防护碎片的解决决策程序。 122-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SteelBM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SteelBM04
格雷厄姆钢铁公司，阿兰·邦迪，莫妮卡·梅德尔:
通过拒绝不正确的归纳猜想攻击组密钥协议。 137-151

组合技术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/张SM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ShangSM04
Ting Zhang（张婷），亨尼·B·西普玛，佐哈尔·曼纳:
具有整数约束的递归数据结构的决策过程。 152-167
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GanzingerSW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GanzingerSW04
哈拉尔德·甘辛格，Viorica Sofronie-Stokkerman公司，乌韦·沃尔德曼:
弱等式部分函数的模证明系统。 168-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaderGT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaderGT04
弗兰兹·巴德，西尔维奥·吉拉尔迪，塞萨尔·蒂内利:
一种新的词问题组合程序，它概括了模态逻辑中的融合判定结果。 183-197

验证和系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DenneyFS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DenneyFS04
埃文·丹尼，伯恩德·菲舍尔，约翰·舒曼:
使用自动定理证明程序证明自动生成的航空航天软件。 198-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MaricJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MaricJ04
菲利普·马里克，Predrag Janicic公司:
argo-lib：决策过程通用平台。 213-217
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MouraORRS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MouraORRS04
莱昂纳多·门登萨·德·莫拉，萨姆·奥雷，哈拉尔德街，约翰·拉什比，纳塔拉詹·尚卡尔:
嵌入扣除的ICS决策程序。 218-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Schulz04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Schulz04
斯蒂芬·舒尔茨:
系统描述：E 0.81。第223页至第228页

有限结构推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Gottlob04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Gotlob04
格奥尔格·戈特洛布:
有限结构上的二阶逻辑——研究计划报告。 229-243
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GilHSZ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GilHSZ04
天使J.吉尔，米基·赫尔曼，格诺·萨尔泽，布鲁诺·扎努蒂尼:
有限全序域上约束描述问题的有效算法：扩展抽象。 244-258

表aux与非经典逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LutzW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LutzW04
卡斯滕·卢茨，德克·沃尔特:
带有原子程序否定的PDL。 259-273
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Larchey-Wendling04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Larchey-Wendling04
Dominique Larchey-Wendling公司:
Gödel-Dummett Logics中的计数器模型搜索。 274-288
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LetzS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LetzS04
Reinhold Letz公司，格诺·斯坦兹:
断开连接表中变量的一般处理。 289-306

应用程序和系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Tammet04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Tammet04网站
塔内尔·塔米特:
语义Web的链解析。 307-320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TurhanK04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TurhanK04
安妮·亚斯敏·图尔汗，克里斯蒂安·基西格:
Sonic-非标准推理Go OilEd。 321-325
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HustadtKRV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HustadtKRV04
乌尔里希·赫斯塔特，波利斯·寇涅夫，亚历山大·里扎诺夫，安德烈·沃伦科夫:
TeMP：一个时间单字验证程序。 326-330
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/温特斯坦BG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WentersteinBG04
丹尼尔·温特斯坦，阿兰·邦迪，科林·古尔:
杜德尔博士：图解定理证明者。 331-335

计算机数学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Wispfenning04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Wispfenning04网址
沃尔克·魏斯芬宁:
通过消除方法解决约束。 336-341
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Subramani04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Subramani04网站
K.Subramani公司:
分析选定的量化整数程序。 342-356

交互式定理证明

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AvigadD04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AvigadD04
杰里米·阿维加德，凯文·唐纳利:
在Isabelle/HOL中形式化O符号。 357-371
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MengP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MengP04
贾蒙，劳伦斯·保尔森:
使用分辨率支持交互式证明的实验。 372-384
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BartheCT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BartheCT04
吉尔斯·巴特，扬·塞德奎斯特，萨布丽娜·塔伦托:
通用模型和随机Oracle模型的机器检查形式化。 385-399

组合推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ColtonMSM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ColtonMSM04
西蒙·科尔顿，安德烈亚斯·梅耶，沃尔克·索尔格，罗伊·麦卡斯兰德:
有限代数分类定理的自动生成。 400-414
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Avenhaus公司04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Avenhaus04网址
尤尔根·阿文豪斯:
计算模置换理论的有效算法。 415-429
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TourE04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TourE04
蒂埃里·德拉图尔男孩，Mnacho Echenim公司:
重叠叶片排列方程。 430-444年

高阶推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Bonichon04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Bonichon04
理查德·博尼肯:
TaMeD：演绎模数的Tableau方法。 445-459
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Beeson04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Beeson04网址
迈克尔·比森:
Lambda Logic公司。 460-474
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Farmer04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Farmer04网址
威廉·M·法默:
形式化微积分中出现的不确定性。 475-489

竞争

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SutcliffeS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SutcliffeS04
杰夫·萨特克利夫，克里斯蒂安·萨特纳:
CADE ATP系统竞赛。 490-491

服务

管理网站设置

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