停止战争！

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

对于科学家：

默认搜索操作

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

问别人

自动推理杂志，第63卷

>主页 >期刊销售 >自动推理杂志

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第63卷第1期，2019年6月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BartheBCL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BartheBCL19
吉尔斯·巴特,古斯塔沃·贝塔特,胡安·迭戈·坎波,卡洛斯·卢纳:
恒定时间密码术的系统级无干扰。第一部分：模型。 1-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/LammichL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/LammichL19
彼得·兰米奇,安德烈亚斯·洛赫比勒:
高效数据结构的自动优化：两种方法的比较。 53-94
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/EbnerHLRW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/EbnerHLRW19
加布里埃尔·埃布纳,斯特凡·赫兹尔,亚历山大·莱奇,吉赛尔·里斯,丹尼尔·韦勒:
关于量子化引理的生成。 95-126
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/PeitlSS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/PeitlSS19
托马斯·佩特尔,弗里德里希·斯利沃夫斯基,斯特凡·塞德尔:
具有依赖方案的长距离Q分辨率。 127-155

第63卷第2期，2019年8月

特刊：同伦类型理论与单叶基础2017年ITP扩展论文精选

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/LumsdaineT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/LumsdaineT19
彼得·勒法努·卢姆斯代恩,尼古拉斯·塔巴鲁:
前言：同伦类型理论与单叶基础专题。 157-158
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BezemCH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BezemCH19
马克·贝泽姆,蒂埃里·科昆,西蒙·胡贝尔:
立方集合中的单价公理。 159-171
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Huber19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Huber19
西蒙·胡贝尔:
立方型理论的规范性。 173-210
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BirkedalBCGSV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BirkedalBCGSV19
拉尔斯·比克达尔,亚历斯·比兹亚克,拉纳德·克鲁斯顿,汉斯·布格·格雷斯沃尔,低音喷溅,安德烈亚·维佐西:
守卫立方型理论。 211-253
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Brunerie19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Brunerie19
纪尧姆·布鲁内里:
詹姆斯构造和π₄（S^三)同伦类型理论。 255-284
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/AhrensMM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AhrensMM19
Benedikt Ahrens公司,拉尔夫·马提斯,安德斯·莫特伯格:
从签名到UniMath中的单数。 285-318
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Ayala-RinconM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Ayala-RinconM19
毛里西奥·阿亚拉·林科,塞萨尔·穆尼奥斯:
2017年ITP精选扩展论文-前言。 319-321
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/AllamigeonK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AllamigeonK19
泽维尔·阿拉米根,里卡多·D·卡茨:
基于单纯形方法的凸多面体形式化。 323-345
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BentkampBK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BentkampBK19
亚历山大·本特坎普,贾斯敏·克里斯蒂安·布兰切特,迪特里希·克拉科夫:
深度学习表达能力的正式证明。 347-368
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BessonBW19a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BessonBW19a
弗雷德里克·贝松,桑德琳·布拉齐,皮埃尔·威尔克:
CompCertS:使用指针作为整数语义的经过内存软件验证的C编译器。 369-392
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/ForsterS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ForsterS19
扬尼克·福斯特,格特·斯莫尔卡:
调用值Lambda演算作为Coq中的计算模型。 393-413
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/KirstS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/KirstS19
多米尼克·柯斯特,格特·斯莫尔卡:
从属类型理论中二阶ZF的分类结果和大模型构造。 415-438
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Lochbihler 19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Lochbihler19
安德烈亚斯·洛赫比勒:
高阶逻辑中的效应多态性（Proof Pearl）。 439-462
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/EricssonMP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/EricssonMP19
亚当·桑德伯格·爱立信,马格努斯·O·米林,约翰内斯·奥曼·波霍拉:
CakeML的已验证代垃圾收集器。 463-488
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/ZakowskiCDPPJV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ZakowskiCDPPJV19
扬尼克·扎考斯基,大卫·卡切拉,Delphine Demange公司,古斯塔沃·佩特里,大卫·皮查迪,苏雷什·贾甘纳森,扬·维泰克:
使用可靠保证方法验证并发垃圾收集器。 489-515
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Zhan19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Zhan19
伯华詹:
使用Auto2对非类型集理论中的基本群进行形式化。 517-538

第63卷第3期，2019年10月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Tao19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Tao19
贾涛:
非循环认知DL ALCS5的PSpace算法_米. 539-555
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/KaliszykP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/KaliszykP19
塞萨里·卡利西克,卡罗尔·帕克:
Mizar作为Isabelle对象逻辑的语义。 557-595
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BeyersdorffBCSS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BeyersdorfBCSS19
奥拉夫·贝耶斯多夫,约书亚·布林霍恩,Leroy Chew公司,雷娜特·施密特,马丁·苏达:
重新解释依赖方案：DQBF中的健全性遇到了不完整性。 597-623
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/罐子/米勒19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Miller19
戴尔·米勒:
重新审视机械化元理论。 625-665
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/ChanN19a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ChanN19a
陈兴伦,迈克尔·诺里什:
有限域的分类及其应用。 667-693
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Cruz-FilipeMS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Cruz-FilipeMS19
路易斯·克鲁斯·菲利佩,乔安·马奎斯·西尔瓦,彼得·施奈德-坎普:
布尔勾股三元组问题解的形式验证。 695-722
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/WangSS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/WangSS19
王文喜,Harald Søndergaard公司,彼得·J·斯塔基:
Wombit：使用字级传播的投资组合位向量解算器。 723-762
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/AbdulazizP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AbdulazizP19
穆罕默德·阿卜杜勒阿齐兹,劳伦斯·保尔森:
格林定理的Isabelle/HOL形式化。 763-786
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/LiSGZL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/LiSGZL19
李铭,志平石,永冠,张倩莹,李永东:
HOL光中几何代数的形式化。 787-808

第63卷第4期，2019年12月

特刊：线性
特刊：2017年NFM扩展论文精选

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/CervesatoF19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/CervesatoF19
伊利亚诺·塞尔维萨托,玛丽贝尔·费尔南德斯:
线性专题序言。 809-811
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Baillot BL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BaillotBL19
帕特里克·贝洛特,吉尔斯·巴特,乌戈·达尔·拉戈:
次递归定义的隐式计算复杂性及其在密码证明中的应用。 813-855
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/HeathM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/HeathM19
昆廷·希思,戴尔·米勒:
模型检验的证明理论。 857-885
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Mackie19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Mackie19
伊恩·麦基:
线性数字系统。 887-909
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/Acclavio19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Acclavio19
马泰奥·阿克拉维奥:
乘法线性逻辑的证明图：语法和语义。 911-939
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/保利尼PZ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/PaoliniPZ19
卢卡-保利尼,毛罗·皮科洛,玛格丽塔·佐齐:
高阶语言与量子电路。 941-966
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/MahmoudF19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/MahmoudF19
穆罕默德·尤斯里·马哈茂德,艾米·费尔蒂:
线性逻辑中Quipper量子编程语言元理论的形式化。 967-1002
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BarrettK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BarrettK19
克拉克·W·巴雷特,Temesghen Kahsai公司:
2017年NFM扩展论文精选：前言。 1003-1004
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/SogokonJJ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/SogokonJJ19
安德鲁·索戈孔,保罗·杰克逊,泰勒·T·约翰逊:
使用流管道和连续不变量验证混合系统中的安全性和持久性。 1005-1029
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/DreossiDS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/DreossiDS19
托马索·德罗西,亚历山大·唐泽,桑吉特·塞希亚:
使用机器学习组件对网络物理系统进行合成伪造。 1031-1053
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/JhaSRPF19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/JhaSRPF19
苏斯米特·贾,Tuhin Sahai公司,瓦苏马提·拉曼,亚历山德罗·平托,迈克尔·弗朗西斯:
使用学习稀疏布尔公式的有效方法解释AI决策。 1055-1075
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/FrenkelGS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/FrenkelGS19
Hadar Frenkel公司,奥尔娜·格伦伯格,萨拉伊·申瓦尔德:
无限数据域上模型检查系统和规范的自动机理论方法。 1077-1101
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/AichernigT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AichernigT19
伯恩哈德·艾切里尼（Bernhard K.Aichernig）,马丁·塔普勒:
通过变异测试实现高效的主动自动机学习。 1103-1134

服务

管理网站设置

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