停止战争！

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

对于科学家：

默认搜索操作

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

问别人

1980年第五届CADE：法国Les Arcs

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/1980
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/1980
沃尔夫冈·比贝尔,罗伯特·科瓦尔斯基:
1980年7月8日至11日，法国Les Arcs，第五届自动扣除会议，会议记录。计算机科学课堂讲稿87,施普林格 1980，国际标准图书编号3-540-10009-1

星期二早晨

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AielloW80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AielloW80
路易吉娅·卡鲁奇·艾洛,理查德·威哈奇:
用元理论推理做代数。 1-13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BelovariC80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BelovariC80（网址：https://dblp.org/rec/conf/cade/BelovariC80）
加博尔·贝洛瓦里,约翰·坎贝尔:
生成积分轮廓：Prolog在符号计算中的应用。 14-23
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BundyW80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BundyW80
阿兰·邦迪,鲍勃·韦勒姆:
使用元级推理在代数操作中选择性地应用多重重写规则。 24-38

星期二下午

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Goad80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Goad80
克里斯·戈德:
计算说明的证明。 39-52
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GuihoG80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GuihoG80
热拉尔·吉霍,克里斯蒂安·格雷斯:
不完整规范的程序合成。 53-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Kott80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Kott80
劳伦特·科特:
递归程序等价性的证明系统。 63-69

星期三上午

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BledsoeH80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BledsoeH80
W.W.Bledsoe公司,拉里·海因斯:
基于分辨率的不等式证明程序中的变量消除和链接。 70-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FerroOS80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FerroOS80
阿尔弗雷多·费罗,尤金尼奥·奥莫多,雅各布·T·施瓦茨:
集合论某些片断的决策程序。 88-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LovelandS80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LovelandS80
唐纳德·洛夫兰,罗伯特·肖斯塔克:
简化解释公式。 97-109
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Furtek公司80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Furtek80
弗雷德里克·福特克:
使用约束理论对实时分布式系统进行规范和验证。 110-125
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 康夫/卡德/弗里德曼80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Friedman80
伦纳德·弗里德曼:
通过合理推理进行推理。 126-142
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Tompson公司80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Tompson80
艾伦·M·汤普森:
时间变化模型中的逻辑支持。 143-153

星期四上午

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Gloess80型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Gloess80
保罗·Y·格罗斯:
Boyer-Moore定理证明器的实验：简单表达式解析器正确性的证明。 154-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Leszczylowski80会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Leszczylowski80
雅切克·莱斯奇洛夫斯基:
“爱丁堡LCF”实验。 170-181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Nederpelt80型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Nederpelt80
罗伯·内德佩尔特:
基于类型化Lambda-演算的定理证明方法。 182-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GloessL80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GloessL80
保罗·Y·格罗斯,Jean-Pierre H.Laurent女士:
在重写算法中添加动态Paramodulation。 195-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WosOH80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WosOH80
拉里·沃斯,罗斯·A·奥弗贝克,劳伦斯·亨森:
超副调制：副调制的改进。 208-219

星期四下午

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EricksonM80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EricksonM80
罗迪·埃里克森,大卫·R·穆瑟:
AFFIRM定理证明：证明森林和大型证明的管理。 220-231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/OverbeekL80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/OverbeekL80
罗斯·A·奥弗贝克,尤因·L·卢斯克:
实现定理证明程序的数据结构和控制结构。 232-249

星期五上午

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Noll80号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Noll80
海尔加·诺尔:
关于解决方案的注释：如何在不丧失完整性的情况下摆脱因子分解。 250-263
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Plasted80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Plasted80网址
大卫·A·普莱斯特:
力学定理证明中的抽象映射。 264-280
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 康夫/卡德/安德鲁斯80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Andrews80
彼得·安德鲁斯:
将配对转换为自然演绎证明。 281-292
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Bruynooghe80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Bruynooghe80
莫里斯·布鲁诺吉:
分析依赖关系以改进逻辑程序的行为。 293-305
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PereiraP80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PereiraP80
路易斯·莫尼兹·佩雷拉,安托尼奥·波尔图:
逻辑程序的选择性回溯。 306-317

星期五下午

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Hullot80号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Hullot80
Jean-Marie Hullot牛仔裤:
规范形式和统一。 318-334
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Jeanrond80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Jeanrond80
汉斯·约瑟夫·詹朗（Hans-Josef Jeanrond）:
决定置换重写系统的唯一终止：仔细选择术语代数。 335-355
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Guguen80型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Guguen80
约瑟夫·高根:
如何在没有归纳法的情况下证明代数归纳假设。 356-373
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CoxP80文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CoxP80
菲利普·考克斯,托马斯·彼得日科夫斯基:
用于反向Skolemization的完整、无冗余算法。 374-385

服务

管理站点设置

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