停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2002年第18届CADE：丹麦哥本哈根

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

优化列表

优化激活！

放大了？？属于？？记录

查看优化列表

导出优化列表为

显示全部？？记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/2002
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2002
安德烈·沃伦科夫:
自动扣减——CADE-18，第18届自动扣减国际会议，丹麦哥本哈根，2002年7月27日至30日，会议记录。计算机科学课堂讲稿2392,施普林格 2002，国际标准图书编号3-540-43931-5

描述逻辑与语义网

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Horrocks02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Horrocks02
伊恩·霍洛克斯:
表达描述逻辑推理：理论与实践。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PanSV02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PanSV02
潘国强,乌尔里克·萨特勒,莫舍·瓦尔迪:
基于BDD的K。决策程序。 16月30日

证明携带代码和编译器验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BernardL02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BarnardL02
安德鲁·伯纳德,李忠琛:
携带证明代码的时间逻辑。 31-46
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SchneckN02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SchneckN02
罗伯特·施奈克,乔治·C·内库拉:
一种逐步实现更值得信赖、但可扩展、证明携带的代码的方法。 47-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Strecker02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Strecker02
马丁·斯特雷克:
Isabelle中Java编译器的形式化验证。 63-77

非经典逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Egly02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Egly02
乌韦·埃格利:
将松弛逻辑嵌入直觉主义逻辑。 78-93年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Larchey-Wendling02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Larchey-Wendling02
Dominique Larchey-Wendling公司:
结合证明搜索和反模型构造来确定哥德尔-杜米特逻辑。 94-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GalmicheM02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GalmicheM02
迪迪埃·加尔米奇,丹尼尔·梅里:
命题BI逻辑中基于连接的证明搜索。 111-128

系统描述

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Moller公司02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Moller网站02
杰斯珀·莫勒:
DDDLIB：一个求解量化差分不等式的库。 129-133
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Hurd02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Hurd02
乔·赫德:
HOL和一阶逻辑之间的LCF风格接口。 134-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ZimerK02会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ZimmerK02
尤根·齐默（Jürgen Zimmer）,迈克尔·科尔哈斯:
系统描述：用于分布式数学推理的MathWeb软件总线。 139-143
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SiekmannBBCFFHKMMMNPSUWZ02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SiekmannBBCFFHKMMMNPSUWZ02
约格·希克曼,克里斯托夫·本兹穆勒,弗拉基米尔·勃列日涅夫,Lassaad Cheikhrouhou公司,阿明·菲德勒,安德烈亚斯·弗兰克,赫尔穆特·霍拉切克,迈克尔·科尔哈斯,安德烈亚斯·梅耶,艾丽卡·梅利斯,马库斯·莫什内尔,伊曼纽尔·诺曼,马丁·波莱特,沃尔克·索尔格,卡斯滕·乌尔里奇,克劳斯·佩特·沃思,于尔根·齐默:
使用OMEGA进行验证开发。 144-149
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/JamnikKP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/JamnikKP02
马蒂亚·贾姆尼克,曼弗雷德·科伯,马丁·波莱特:
学习Omega-matic：系统描述。 150-155
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AreseH02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ArecesH02
卡洛斯·阿雷塞斯,胡安·赫吉亚贝here:
HyLoRes 1.0：混合逻辑的直接解析。 156-160

坐

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Goldberg02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Goldberg02网站
尤金·戈德堡:
通过计算稳定点集来测试CNF公式的可满足性。 161-180
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Tour02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Tour02
蒂埃里·德拉图尔男孩:
关于SEM中对称启发式的注记。 181-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AudemardBCKS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AudemardBCKS02
吉尔斯·奥德马尔,皮埃尔吉奥·贝尔托利,亚历山德罗·西马蒂,阿图尔·科尼洛维奇,罗伯托·塞巴斯蒂亚尼:
基于SAT的布尔和线性数学命题公式求解方法。 195-210

模型生成

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Ahrendt02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Ahrendt02
沃尔夫冈·阿伦特:
使用模型生成对自由数据类型规范中的错误进行演绎搜索。 211-225
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AudemardB02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AudemardB02
吉尔斯·奥德马尔,贝莱德·本哈莫:
有限模型生成中的对称推理和函数排序。 226-240
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GramlichP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GramlichP02
伯恩哈德·格拉姆利希,莱因哈德·皮克勒:
由地面原子和地面方程表示的Herbrand模型的算法方面。 241-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GeorgievaHS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GeorgievaHS02
莉莉亚·乔治亚娃,乌尔里希·赫斯塔特,雷娜特·施密特:
一个新的可由超分辨率决定的子句类。 260-274

中国科学院

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WidenbachBHKTT02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WidenbachBHKTT02
克里斯托夫·魏登巴赫,乌维·布拉姆,托马斯·希伦布兰德,恩诺·基恩,克里斯蒂安·西奥巴特,Dalibor主题:
S PASS 2.0版。 275-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SchulzS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SchulzS02
斯蒂芬·舒尔茨,杰夫·萨特克利夫:
系统描述：GrAnDe 1.0。 280-284
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Colton02号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Colton02
西蒙·科尔顿:
定理生成的HR程序。 285-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WhalenSF02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WhalenSF02
迈克尔·沃伦,约翰·舒曼,伯恩德·菲舍尔:
AutoBayes/CC-结合程序合成和自动代码认证-系统描述。 290-294年

CADE-CAV邀请演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/张M02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ShangM02
张林涛,莎拉·马利克:
寻求有效的布尔可满足性求解器。 295-313
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BorrallerasLR02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BorrallerasLR02
克里斯蒂娜·博拉莱拉斯,萨尔瓦多·卢卡斯,阿尔伯特·鲁比奥:
递归路径顺序可能对上下文敏感。 314-331

决策程序的组合

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Ganzinger02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Ganzinger02
哈拉尔德·甘津格:
肖斯塔克灯光。 332-346
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FordS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FordS02
乔纳森·福特,纳塔拉詹·尚卡尔:
组合决策程序的形式验证。 347-362年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Zarba02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Zarba02
卡罗格罗·扎尔巴:
组合多集与整数。 363-376

逻辑框架

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Paulson02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Paulson02
劳伦斯·C·保尔森:
反射定理：元理论推理研究。 377-391
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/StumpD02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/StumpD02
亚伦·斯塔姆,大卫·L·迪尔:
爱丁堡逻辑框架中的快速校对。 392-407年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Brown02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Brown02网站
乍得E.布朗:
高阶定理证明中集合变量的求解。 408-422

模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KupfermanSV02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KupfermanSV02
奥尔娜·库普夫曼,乌尔里克·萨特勒,莫舍·瓦尔迪:
分级微积分的复杂性。 423-437
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MouraRS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MouraRS02
莱昂纳多·门登萨·德·莫拉,哈拉尔德街,玛丽亚·索里亚:
无穷域上有界模型检验的懒惰定理证明。 438-455

等式推理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BofillR02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BofillR02
Miquel Bofill公司,阿尔伯特·鲁比奥:
良基性对于序互调的完备性是足够的。 456-470
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LynchM02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LynchM02
克里斯托弗·林奇,芭芭拉·莫劳斯卡:
基本句法变异。 471-485
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HillenbrandL02会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HillenbrandL02
托马斯·希伦布兰德,伯恩德·洛什内尔:
下一个W ALDMEISTER循环。 486-500

证明理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Andreoli02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Andeoli02（https://db2p.org/rec/contf/cadeoli02）
Jean-Marc安德烈奥利:
将Proof-Net构建作为中间件范式。第501页至第516页
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Baz02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Baz02
马提亚斯·巴兹:
通过决议进行验证分析。 517-532

服务

管理网站设置

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