停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2017年第21届LPAR:博茨瓦纳莫恩

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@easychair.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lpar/2017年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2017
托马斯·艾特,大卫·桑德斯:
LPAR-21，第21届编程、人工智能和推理逻辑国际会议，博茨瓦纳莫恩，2017年5月7日至12日。 EPiC计算系列46,Easy椅子 2017
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/FischerM17型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/FischerM17
杰弗里·菲舍尔,鲁帕克·马朱姆达尔:
通过合成过滤器编程。 1-13
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/GleissnerSB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/GleissnerSB17
托比亚斯·格莱纳,亚历山大·斯汀,克里斯托夫·本兹穆勒:
每个正规模态逻辑的定理证明器。 14-30
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Kiesl0STB17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Kiesl0STB17
本杰明·基尔,马丁·苏达,马蒂娜·塞德尔,汉斯·托姆皮茨,阿明·比尔:
一阶逻辑中的阻塞子句。 31-48
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KovacsV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KovacsV17
劳拉·科瓦奇,安德烈·沃伦科夫:
一阶插值和插值证明系统。 49-64
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/飞利浦R17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/PhilippR17
托比亚斯·菲利普,阿德里安·雷博拉·帕多:
用Inprocessing实现不满足性证明的语义。 65-84
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/LoosISK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/LoosISK17网址
莎拉·卢斯,杰弗里·欧文,克里斯蒂安·塞格迪,塞萨里·卡利西克:
深度网络引导的证据搜索。 85-105
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Kahramanogullari公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Kahramanogullari17
奥赞·卡拉马诺古拉里:
MELL中的深度证明搜索。 106-124
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/GauthierKU17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/GauthierKU17
Thibault Gauthier公司,塞萨里·卡利西克,约瑟夫·乌尔班:
战术脚趾：学会用HOL4战术进行推理。 125-143
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BourbouhGGKT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BourbouhGGKT17
哈姆扎·布鲁,皮埃尔·洛伊克·卡洛什,克里斯托夫·加里昂,阿里·古芬克尔,Temesghen Kahsai公司,Xavier Thirioux公司:
状态流模型的自动分析。 144-161
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/LindsbergerMM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/LindsbergerMM17
约瑟夫·林德斯伯格,亚历山大·马林格尔,乔治·莫瑟:
量化布尔公式：给水管工打电话！ 162-170
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HollingumS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HollingumS17
尼古拉斯·霍林根,伯恩哈德·舒尔茨:
花椰菜：无上下文语言可达性的解算器生成器。 171-180
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BauerH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BauerH17网址
萨宾·鲍尔,马丁·霍夫曼:
可确定的线性列表约束。 181-199
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/FilhoFO17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/FilhoFO17
迪马斯·梅洛·菲略,弗雷德·弗雷塔斯,延斯·奥顿:
RACCOON：描述逻辑ALC的连接推理器。 200-211
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HannulaKL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HannulaKL17
米卡·汉努拉,朱哈·孔廷宁,塞巴斯蒂安链接:
关于包含依赖与独立原子的相互作用。 212-226
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/0001TM17文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/0001TM17
Bart Bogaerts公司,尤金妮娅·特诺夫斯卡,大卫·G·米切尔:
模系统代数的传播器和解算器。 227-248
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/FrohnG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/FrohnG17
弗洛里安·弗洛恩,吉尔根·吉斯尔:
通过内部运行时复杂性分析运行时复杂性。 249-268
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HainryP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HainryP17
艾曼纽尔·海因里,罗曼·佩乔:
高阶复杂度的高阶解释。 269-285
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BoumarafiSS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BoumarafiSS17
亚齐德·布马拉菲,拉赫达尔·赛斯,雅库布沙利:
从SAT到最大独立集：表征可牵引类的新方法。 286-299
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/EchahedM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/EchahedM17
拉希德·埃查黑德,奥德·麦格南:
使用重叠规则的并行图形重写。 300-318
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/比斯塔雷利MMS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BistarelliMMS17
斯特凡诺·比斯塔雷利,法比奥·马蒂内利,伊利亚·马特尤奇,弗朗西斯科·桑蒂尼:
定量部分模型检验函数及其优化。 319-337
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/MordvinovF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/MordvinovF17
德米特里·莫德维诺夫,格里戈里·费德尤科维奇:
同步约束Horn子句。 338-355
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BlahoudekDKKS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BrahoudekDKKS17
弗兰蒂斯克·布拉胡德克,亚历山大·杜雷特·卢茨,米库拉斯·克罗科卡,莫杰米尔·克伦斯克（Mojmír Kretínsk）,简·斯特雷切克:
研讨会：Omega自动机的半确定性工具。 356-367
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KahsaiKRS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KahsaiKRS17
Temesghen Kahsai公司,罗迪·克尔斯滕,菲利普·吕默,马丁·施瓦夫:
面向对象程序的量化堆不变量。 368-384
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BartheEGHS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BartheEGHS17
吉尔斯·巴特,托马斯·埃斯皮托,本杰明·格雷戈里,徐宇春（Justin Hsu）,Pierre-Yves支柱:
通过自我组合和耦合证明一致性和独立性。 385-403
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BazP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BazP17
马提亚斯·巴兹,诺伯特·普赖宁:
哥德尔逻辑和LTL的完全装箱片段。 404-416
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/CiabattoniR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/CiabattoniR17
阿加塔·恰巴托尼,Revantha Ramanayake公司:
分布子结构逻辑的束超序列演算。 417-434
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/LellmannOP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/LellmannOP17
比约恩·勒尔曼,卡洛斯·奥拉特,伊莱恩·皮门特尔:
具有模态的子结构逻辑的统一框架。 435-455
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/GiganteMR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/GiganteMR17
尼古拉·吉甘特,安吉洛·蒙塔纳里,马克·雷诺兹:
LTL+过去的单通道树形表格。 456-473
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/JouannaudS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/JouannaudS17
Jean-Pierre Jouannaud女士,Pierre-Yves支柱:
无类型浇铸的Coq：Coq模理论的完整证明。 474-489
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/SyedaK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SyedaK17
Hira Taqdees Syeda公司,格温·克莱因:
关于翻译查询缓冲区的推理。 490-508
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Cruz-FilipeS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Cruz-FilipeS17
路易斯·克鲁斯·菲利佩,彼得·施奈德-坎普:
布尔勾股三元组猜想的形式证明。 509-522

服务

管理站点设置

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