默认搜索操作

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

问别人

1996年第13届CADE：美国新泽西州新不伦瑞克

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/1996
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/1996
迈克尔·麦克罗比,约翰·斯莱尼:
自动扣除——CADE-13，第13届自动扣除国际会议，美国新泽西州新不伦瑞克，1996年7月30日至8月3日，会议记录。计算机科学课堂讲稿1104,施普林格 1996，国际标准图书编号3-540-61511-3

受邀演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Ganzinger96公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Ganzinger96网址
哈拉尔德·甘津格:
基于饱和的定理证明：过去的成功和未来的潜力（摘要）。 1

第1A课时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Tammet96公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Tammet96网址
塔内尔·塔米特:
直觉逻辑的归结定理证明器。 2-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/RitterPW96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RitterPW96
艾克·里特,大卫·J·派姆,林肯·A·沃伦:
经典和直觉解析的证明术语（扩展抽象）。 17-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/沃伦科夫96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Voronkov96
安德烈·沃伦科夫:
平等直觉主义逻辑中的证明研究，或回到同步刚性E-Unification。 32-46

第1B部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/爱尔兰196
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/IrelandB96
安德鲁·爱尔兰,阿兰·邦迪:
归纳证明泛化批判的扩展。 47-61
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DenzingerS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DenzingerS96
约格·登津格,斯蒂芬·舒尔茨:
学习领域知识以改进定理证明。 62-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Protzen96型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Protzen96
马丁·普罗岑:
修补错误猜测。 77-91

第2A课时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MelisW96会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MelisW96
艾丽卡·梅利斯,乔恩·惠特尔:
定理证明中的内部类比。 92-105
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KolbeW96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KolbeW96
托马斯·科尔贝,克里斯托夫·沃尔特:
通过重用终止定理证明。 106-120
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Sengler96号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Sengler96
克劳斯·森格勒:
非自由生成数据类型上的算法终止。 121-135

第2B部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Giunchiglia 96版
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GiunchigliaV96
福斯托·金奇利亚,阿道夫·维拉菲奥里塔:
ABSFOL：带抽象的校对程序。 136-140
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WidenbachGR96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WidenbachGR96
克里斯托夫·魏登巴赫,伯恩德·盖德,乔治·洛克:
SPASS&FLOTTER 0.42版。 141-145
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SuttnerS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SuttnerS96
克里斯蒂安·萨特纳,杰夫·萨特克利夫:
CADE-13 ATP系统竞赛设计。 146-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Ohlbach96号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Ohlbach96
汉斯·尤根·奥巴赫（Hans Jürgen Ohlbach）:
SCAN-消除谓词量词。 161-165
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Wang96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Wang96
王东明:
GEOTHER：几何定理证明者。 166-170

第3A节

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BasinM96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BasinM96
大卫·A·巴思,塞恩·马修斯:
构建归纳定义的元理论。 171-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Rasmussen96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Rasmussen96
奥勒·拉斯穆森:
在伊莎贝尔中嵌入红宝石。 186-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HomeierM96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HomeierM96
彼得·霍米耶,大卫·F·马丁:
相互递归程序的机械验证。 201-215

第3B部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FeliciRT96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FeliciRT96
乔瓦尼·费利奇,乔瓦尼·里纳尔迪,克劳斯·特鲁厄温:
FasTraC：一个基于逻辑编程的去中心化交通控制系统。 216-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HuangF96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HuangF96
黄晓荣,阿明·菲德勒:
展示机器声音证明。 221-225
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BazFSZ96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BazFSZ96
马提亚斯·巴兹,克里斯蒂安·弗缪勒（Christian G.Fermüller）,格诺·萨尔泽,理查德·扎克:
MUltlog 1.0：走向多值逻辑专家系统。 226-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BertotB96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BertotB96
珍妮特·贝托特,伊夫·贝托特:
CtCoq：系统演示。 231-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ChouGZ96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ChouGZ96
尚庆周（Shang-Ching Chou）,小山高,张敬梓:
几何专家简介。 235-239
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Schumann96公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Schumann96
约翰·舒曼:
SiCoTHEO：简单竞争并行定理证明程序。 240-244

受邀演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/斯科特96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Scott96
达纳·S·斯科特:
我们希望通过自动扣除实现什么？（摘要）。 245

第4A部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HermannK96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HermannK96
米基·赫尔曼,Phokion G.Kolaitis公司:
多项式时间内无法组合统一算法。 246-260
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GouNW96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GouNW96
青果,巴利亚特·纳伦德兰,大卫·A·沃尔夫拉姆:
统一和匹配模幂零。 261-274
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Vorobyov96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Vorobyov96
谢尔盖·沃罗比奥夫:
树的基本理论的改进下界。 275-287

第4B部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HutterS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HutterS96
迪特尔·赫特,克劳斯·森格勒:
INKA：下一代。 288-292
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SchaubBN96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SchaubBN96
托尔斯滕·绍布,斯特凡·布吕宁,帕斯卡·尼古拉斯:
XRay：默认推理的Prolog技术定理证明器：系统描述。 293-297
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Farmer公司GF96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FarmerGF96网址
威廉·M·法默,约书亚·D·古特曼,F.哈维尔·塞耶:
IMPS：更新的系统描述。 298-302
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BeckertHOS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BeckertHOS96
伯恩哈德·贝克特,雷内·哈内尔,彼得·厄尔,马丁·苏尔兹曼:
基于Tableau的定理证明_三T型^一P版本4.0。 303-307
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/张Z96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/张Z96
张健（Jian Zhang）,张汉涛:
系统描述：通过SEM生成模型。 308-312

第5A课时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Harrison公司96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Harrison96
约翰·哈里森:
优化模型消除中的证明搜索。 313-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SagonasSW96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SagonasSW96
康斯坦蒂诺斯·萨戈纳斯,Terrance Swift公司,大卫·斯科特·沃伦:
用于固定顺序动态分层程序的抽象机。 328-342
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Widenbach96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Widenbach96网址
克里斯托夫·魏登巴赫:
伪线性排序理论中的统一是可判定的。 343-357

第5B部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Martin96号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Martin96
乌尔苏拉·马丁:
用群表示法证明定理：示例和问题。 358-372
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MiddeldorpOZ96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MiddeldorpOZ96
阿尔特·米德尔多普,大崎仁史,汉斯·赞特马:
通过自我标记转换终止。 373-387
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GanzingerW96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GanzingerW96
哈拉尔德·甘津格,乌韦·沃尔德曼:
可消阿贝尔幺半群中的定理证明（扩展抽象）。 388-402

第6A课时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EglyR96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EglyR96
乌韦·埃格利,托马斯·拉思:
论规范形式的不同定义翻译的实用价值。 403-417
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SchmittK96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SchmittK96
斯蒂芬·施密特,克里斯托夫·克里茨:
将非经典矩阵证明转换为顺序式系统。 418-432
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SchutzG96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SchutzG96
Heribert Schütz公司,蒂姆·盖斯勒:
通过编译高效地生成模型。 433-447

第6B课时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Linton MPS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LintonMPS96
史蒂夫·林顿,乌苏拉·马丁,佩特普雷利,邓肯·沙德:
代数和自动演绎。 448-462
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CirlukLS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CyrlukLS96
大卫·赛卢克,帕特里克·林肯,纳塔拉詹·尚卡尔:
论肖斯塔克的理论组合决策程序。 463-477
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Tour96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Tour96
蒂埃里·德拉图尔男孩:
基于语义对称的群计算地面分辨率。 478-492

第7A课时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/RousselM96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RousselM96
奥利维尔·罗塞尔,菲利普·马修:
一种新的知识编译方法：循环搜索法。 493-507
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SnyderS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SnyderS96
韦恩·斯奈德,詹姆斯·施莫尔泽（James G.Schmolze）:
生产规则系统的重写语义：理论与应用。 508-522
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Fuchs96公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Fuchs 96
马蒂亚斯·福克斯:
过去证明经验的启发式使用实验。 523-537

第7B课时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KapurS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KapurS96
迪帕克·卡普尔,马哈德万·苏布拉马尼亚姆:
自动归纳中的引理发现。 538-552
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GrafM96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GrafM96
彼得·格拉夫,克里斯托夫·梅耶:
替换树上的高级索引操作。 553-567
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Fernmuller公司96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Fernmuller96
克里斯蒂安·弗缪勒（Christian G.Fermüller）:
语义树重温：一些新的完备性结果。 568-582

第8A课时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GiunchigliaS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GiunchigliaS96
福斯托·金奇利亚,罗伯托·塞巴斯蒂亚尼:
从命题决策过程建立模态逻辑的决策过程——模态K的案例研究。 583-597
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Nonnengart96号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Nonengart96网址
安德烈亚斯·农纳加特:
模态和时序逻辑的基于分辨率的计算。 598-612
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GiacomoM96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GiacomoM96
朱塞佩·德贾科莫,法比奥·马萨奇:
具有Converse的命题动态逻辑的Tableaux和算法。 613-627

第8B课时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Ruess96号公路
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Ruess96
哈拉尔德街:
演绎反思框架中形式策略的反思。 628-642
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/McAllesterA96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/McAllesterA96
大卫·A·麦卡利斯特,科斯塔斯·阿库达斯:
沃尔特递归。 643-657
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Felty96型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Felty96网址
艾米·费尔蒂:
构造演算中集合变量实例化的证明搜索。 658-672

第9A部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Dixon96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Dixon96
克莱尔·狄克逊:
时间逻辑中解决问题的搜索策略。 673-687
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Salzer96公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Salzer96
格诺·萨尔泽:
基于半参数的多值算子和量词的最佳公理化。 688-702
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Lus-Filho96号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Lus-Filho96网址
萨图尼诺·F·卢兹-菲略:
范畴逻辑和定理证明中的语法规范。 703-717

第9B部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Graf96公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Graf96网址
彼得·格拉夫:
AC理论的路径索引。 718-732
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Nipkow96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Nipkow96
托比亚斯·尼普科:
《更多的教会流失证明》（Isabelle/HOL）。 733-747
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/会议/公园G96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ParkG96
大俊公园,阿伦·范·盖尔德:
大公式可满足性测试的分区方法。 748-762

管理网站设置

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