停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2019年第27届CADE：巴西纳塔尔

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/学术研讨会/2019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2019
帕斯卡·方丹:
自动扣减-CADE 27-27第27届自动扣减国际会议，巴西纳塔尔，2019年8月27-30日，会议记录。计算机科学课堂讲稿11716,施普林格 2019，国际标准图书编号978-3-030-29435-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Anantharaman HNR19公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AnantharamanHNR19
湿婆阿南塔拉曼,彼得·希布斯,巴利亚特·纳伦德兰,米夏埃尔·鲁西诺维奇:
与某些字方程具有反向关系的统一模列表。 1-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MeloO19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MeloO19
亚历山大·安德拉德·德梅洛,马特乌斯·德·奥利维拉·奥利维拉:
关于有限结构正则类的宽度。 18-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BarbosaROTB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BarbosaROTB19
哈尼尔·巴博萨,安德鲁·雷诺兹,丹尼尔·埃尔·乌拉维,塞萨尔·蒂内利,克拉克·W·巴雷特:
将SMT解算器扩展到高阶逻辑。 35-54
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BentkampBTVW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BentkampBTVW19
亚历山大·本特坎普,布兰切特,索菲·图雷特,彼得·武克米洛维奇,乌韦·沃尔德曼:
与Lambdas叠加。 55-73
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BhayatR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BhayatR19
艾哈迈德·巴亚特,贾尔斯·雷格尔:
限制性组合统一。 74-93
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BohrerFP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BohrerFP19
罗斯·博勒,曼纽尔·费尔南德斯,安德烈·普拉泽:
数据链路_ι：微分动态逻辑中的定义描述。 94-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BrombergerFSW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BrombergerFSW19
马丁·布隆伯格,马蒂亚斯·弗勒里,西蒙·施瓦兹,克里斯托夫·魏登巴赫:
SPASS-SATT-CDCL（LA）解算器。 111-122
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BrownGKSU19会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BrownGKSU19
乍得E.布朗,Thibault Gauthier公司,塞萨里·卡利西克,杰夫·萨克利夫,约瑟夫·乌尔班:
GRUNGE：一项大型统一ATP挑战。 123-141
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CalvaneeGGMR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CalvaneeGGMR19
迭戈·卡尔瓦内斯,西尔维奥·吉拉尔迪,亚历山德罗·贾诺拉,马可·蒙塔利,安德烈·里夫金:
模型完整性、覆盖和叠加。 142-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CassanoFHAC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CassanoFHAC19
瓦伦丁·卡萨诺,劳尔·费尔瓦里,纪尧姆·霍夫曼,卡洛斯·阿雷塞斯,巴勃罗·卡斯特罗:
默认直觉逻辑的表格微积分。 161-177
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ChenWAZKZ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ChenWAZKZ19
陈明帅,王健（Jian Wang）,建安,伯华詹,迪帕克·卡普尔,詹乃军（Naijun Zhan）:
NIL：学习非线性插值。 178-196
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ChvalovskyJ0U19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ChvalovskyJ0U19
卡雷尔·奇瓦洛夫斯克,扬·贾库布夫,马丁·苏达,约瑟夫·乌尔班:
ENIGMA-NG：针对E。 197-215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Cordwell第19页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Cordwell第19页
凯瑟琳·科德威尔,安德烈·普拉泽:
朝向物理混合系统。 216-232
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FioriW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FioriW19
阿尔贝托·菲奥里,克里斯托夫·魏登巴赫:
从简单模型学习SCL子句。 233-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Furbach公司KS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FurbachKS19
乌尔里希·富巴赫,特蕾莎·克雷默,克劳迪娅·肖恩:
名字不仅仅是声音和烟雾：公理选择的单词嵌入。 250-268
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GieslGH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GieslGH19
吉尔根·吉斯尔,彼得·吉斯尔,马塞尔·哈克:
计算恒定概率程序的预期运行时间。 269-286
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GuterrezL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GutierrezL19
劳尔·古铁雷斯,萨尔瓦多·卢卡斯:
使用AGES自动生成逻辑模型。 287-299
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HavlenaHLV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HavlenaHLV19
Vojtech哈夫勒纳,卢卡斯·霍利克,Ondrej Lengál,托马斯·沃伊纳:
自动处理惰性WSkS决策过程中的术语。 300-318
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HirokawaNOO19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HirokawaNOO19
Nao Hirokawa先生,朱利安·纳格尔,文森特·范·奥斯特罗姆,Michio Oyamaguchi小山口:
重温关键对分析的融合。 319-336
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KohlM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KohlM19
克里斯蒂娜·科尔,阿尔特·米德尔多普:
撰写证明条款。 337-353
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LiT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LiT19
狄龙里,Alwen Tiu先生:
结合ProVerify和自动定理证明程序进行安全协议验证。 354-365
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NiemetzPRZBT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NiemetzPRZBT19
艾娜·尼梅茨,马蒂亚斯·普雷纳,安德鲁·雷诺兹,尤尼·佐哈尔,克拉克·W·巴雷特,塞萨尔·蒂内利:
SMT求解器中的位宽度独立证明。 366-384
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PeuterS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PeuterS19
丹尼斯·佩特,Viorica Sofronie-Stokkerman公司:
参数系统的不变综合。 385-405
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Plasted19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Plasted19
大卫·A·普莱斯特:
方面微积分。 406-424
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Platzer19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Platzer19
安德烈·普拉泽:
在一次摔倒后的替换动作。 425-441
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/0001T19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/0001T19
安德烈·波佩斯库,德米特里·特拉泰尔:
哥德尔不完全性定理的形式验证抽象解释。 442-461
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/RawsonR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RawsonR19
迈克尔·劳森,贾尔斯·雷格尔:
旧的还是重的？随着年龄/体重的变化优雅地衰退。 462-476
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/RegerV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RegerV19
贾尔斯·雷格尔,安德烈·沃伦科夫:
基于饱和的证明搜索中的归纳法。 477-494
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/0001CV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/0001CV19
斯蒂芬·舒尔茨,西蒙·克鲁恩斯,彼得·武克米洛维奇:
更快、更高、更强：E 2.3。 495-507
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SternagelW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SternagelW19
克里斯蒂安·斯特纳格尔,莎拉·温克勒:
通过有序完成认证等式推理。 508-525
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SutcliffeP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SutcliffeP19
杰夫·萨克利夫,弗朗西斯·杰弗里·佩利蒂尔:
JGXYZ：间隙和谷氨酸逻辑的ATP系统。 526-537
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Tammet19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Tammet19
塔内尔·塔米特:
GKC：大型知识库的推理系统。 538-549
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Trentin公司19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TrentinS19
帕特里克·特伦丁,罗伯托·塞巴斯蒂亚尼:
浮点数理论的优化模。 550-567
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ZhaoS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ZhaoS19
赵仪征,雷娜特·施密特:
FAME（Q）：一种自动工具，用于忘记限定数字限制的描述逻辑。 568-579

服务

管理网站设置

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