停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2008年第15届LPAR：卡塔尔多哈

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

优化列表

优化激活！

放大了？？属于？？记录

查看优化列表

导出优化列表为

显示全部？？记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/2008年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2008
伊利亚诺·塞韦萨托,赫尔穆特·维思,安德烈·沃龙科夫:
《编程逻辑、人工智能和推理》，第15届国际会议，LPAR 2008，卡塔尔多哈，2008年11月22日至27日。诉讼程序。计算机科学课堂讲稿5330,施普林格 2008，国际标准图书编号978-3-540-89438-4

约束求解

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Marques-SilvaLM08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Marques-SilvaLM08
若昂·马尔克斯·席尔瓦,Inés Lync公司,Vasco M.Manquinho公司:
对称破缺以获得最大满意度。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AsinNOR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AsinNOR08
罗伯托·阿辛,罗伯特·尼文胡斯,阿尔伯特·奥利弗拉斯,恩里克·罗德里格斯-卡博内尔:
SAT中不满足性证明和核心的高效生成。 16月30日
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/JarvisaloJN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/JarvisaloJN08
马蒂·贾维萨洛,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
基于调整的局部搜索和自适应噪声策略。 31-46
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BezemNR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BezemNR08
马克·贝泽姆,罗伯特·尼文胡斯,恩里克·罗德里格斯-卡博内尔:
最大原子问题及其相关性。 47-61

知识表示1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/PichlerS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/PichlerS08
莱因哈德·皮克勒,瓦迪姆·萨文科夫:
数据交换中核心计算的实用可行性。 62-78
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/EndrullisGH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/EndrullisGH08
约格·恩德鲁利斯,克莱门斯·格拉布迈尔,迪米特里·亨德里克斯:
数据流生产力。 79-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/LibkinS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/LibkinS08
列奥尼德·利布金,克里斯蒂娜·西朗琪罗:
用时态逻辑和自动机推理XML。 97-112
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/ArmantDS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/ArmantDS08
文森特·阿尔芒,菲利普·达格,劳伦特·西蒙:
基于分布式一致性的诊断。 113-127

理论证明1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/阿拉伯DK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/ArapinisDK08
Myrto Arapinis公司,圣埃芬妮·德劳恩,史蒂夫·克莱默:
从一个会话到多个会话：安全协议的动态标记。 128-142
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HonsellLLS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HonsellLLS08
福里奥·霍塞尔,玛丽娜·莱尼萨,路易吉·利科里,伊凡·斯卡格内托:
一个条件逻辑框架。 143-157
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/GabbayH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/GabbayH08
默多克·詹姆斯·加巴伊,马丁·霍夫曼:
标称重命名集。 158-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/MClughlinP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/MClughlinP08
肖恩·麦克劳林,弗兰克·普芬宁:
伊莫金：聚焦直觉命题逻辑的极化逆方法。 174-181

邀请的谈话

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/克拉克08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Clarke08网址
埃德蒙·克拉克:
模型检查-我27年来克服州爆炸问题的探索。 182

自动化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AminofKL08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AminofKL08
本杰明·阿米诺夫,奥尔娜·库普夫曼,奥马尔·列夫:
非确定性Büchi和co-Büchi-词自动机的相对简洁性。 183-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/ToL08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/ToL08
安东尼·威贾贾（Anthony Widjaja To）,列奥尼德·利布金:
常规模型检查中的递归可达性分析。 198-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/DaxK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/DaxK08
克里斯蒂安·达克斯,费利克斯·克莱德克:
通过补充消除替代（扩展摘要）。 214-229
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BrazdilBHK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BrazdilBHK08
托马斯·布拉兹迪尔,瓦克拉夫·布罗泽克,扬·霍勒塞克,安东·库塞拉:
概率下推自动机的折扣性质。 230-242

线性算术

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Moniaux08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Moniaux08
大卫·莫尼奥:
线性实数算法的量词消除算法。 243-257
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BaumgartnerFT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BaumgartnerFT08
鲍姆加特内,亚历山大·富克斯,塞萨尔·蒂内利:
（LIA）-具有线性整数算术约束的模型演化。 258-273年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Rummer08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Rummer08
菲利普·吕默:
线性整数算法的一阶逻辑的约束序列演算。 274-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/JunttilaD08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/JunttilaD08
汤米·A·琼蒂拉,乔里·杜布罗文:
基于可满足性模理论的有界模型检查中的编码队列。 290-304

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/VeanesS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/VeanesS08
玛格斯·维恩斯,安多·萨巴斯:
关于具有集合理解的程序的有界可达性。 305-317
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Murano公司NP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/MuranoNP08
阿尼埃洛·穆拉诺,玛格丽塔·那不勒斯,Mimmo Parente公司:
层次模块检查中的程序复杂性。 318-332
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HenzingerHK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HenzingerHK08
托马斯·汉津格,Thibaud Hottelier酒店,劳拉·科瓦奇:
Valigator：一种具有约束和不变生成的验证工具。 333-342
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AndrausLS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AndrausLS08
扎赫尔·安德劳斯,马克·利菲顿,卡伦·萨卡拉:
揭示：Verilog设计的正式验证工具。 343-352

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BackesBU08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BackesBU08
迈克尔·巴克斯,马蒂亚斯·贝格,多米尼克·恩鲁:
密码伪码的形式语言。 353-376
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/EiterOS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/EiterOS08
托马斯·艾特,马格达莱娜·奥尔蒂斯,曼塔斯·西姆库斯:
使用结进行推理。 377-390

知识表示2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/GlimmK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/GlimmK08
伯特·格利姆,叶夫根尼·哈萨克夫:
表达描述逻辑中的角色连接。 391-405
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Langholm08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Langholm08网址
托尔·兰霍姆:
具有优先顺序的默认逻辑：原理和特征。 406-420
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/MaherH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/MaherH08
迈克尔·J·马赫,葛黄:
关于计算约束外推答案。 421-435
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/JaklPRW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/JaklPRW08
迈克尔·雅克,莱因哈德·皮克勒,斯特凡·吕梅尔,斯特凡·沃尔特兰:
有界树宽的快速计数。 436-450

理论证明2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BazCF08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BazCF08
马提亚斯·巴兹,阿加塔·恰巴托尼,克里斯蒂安·弗缪勒（Christian G.Fermüller）:
超子句分解一阶哥德尔逻辑的割消。 451-466
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Chaudhuri08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Chaudhuri08
考斯特夫·乔杜里:
合成连词序列演算中的聚焦策略。 467-481
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BrunnlerM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BrunnlerM08
凯·布伦勒,理查德·麦金利:
深度推理系统的算法解释。 482至496
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Abel08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Abel08
安德烈亚斯·阿贝尔:
系统F的弱β-θ归一化和求值归一化。 497-511年

量化约束

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Samer08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Samer08
马尔科·萨默:
量化CSP的变量相关性。 512-527
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/PulinaT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/PulinaT08网址
卢卡·普利纳,阿曼多·塔切拉:
树宽：量化布尔逻辑编码中经验硬度的有用标记。 528-542
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/CharatonikW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/CharatonikW08
维托尔德·查拉托尼克,米查尔·罗纳:
正时间模板上的可追踪量化约束满足问题。 543-557
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HabermehlIV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HabermehlIV08
彼得·哈贝梅尔,半径Iosif,托马斯·沃伊纳:
单索引数组的逻辑。 558-573

模态和时序逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KontchakovPWZ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KontchakovPWZ08
罗曼·孔查科夫,伊恩·普拉特·哈特曼,弗兰克·沃尔特,迈克尔·扎克哈里亚舍夫:
连通约束下空间逻辑的计算复杂性。 574-589
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BresolinMGMS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BresolinMGMS08
大卫·布雷索林,达里奥·德拉·莫妮卡,瓦伦丁·戈兰科,安吉洛·蒙塔纳里,Guido Sciavicco公司:
Halpern和Shoham的区间时间逻辑的可决定和不可决定片段：走向一个完整的分类。 590-604
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BelkhirS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BelkhirS08
瓦利德·贝尔基尔,路易吉·桑托卡纳莱:
格µ-微积分的变量层次结构。 605-620
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Schopp08文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Schopp08
乌尔里希·舍普:
无向图可达性的形式化下界。 621-635

正在重写

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AlarconEFGGLST08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AlarconEFGGLST08
Beatriz Alarcón,费边·艾姆斯,卡斯滕·福斯,吉尔根·吉斯尔,劳尔·古铁雷斯,萨尔瓦多·卢卡斯,彼得·施奈德-坎普,雷内·蒂曼:
改进上下文相关对。 636-651
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HirokawaM08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HirokawaM08
Nao Hirokawa先生,乔治·莫瑟:
复杂性、图和依赖对方法。 652-666
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HirokawaMZ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HirokawaMZ08
Nao Hirokawa先生,阿尔特·米德尔多普,哈拉尔德·赞克:
不急于终止。 667-681
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/GallagherR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/GallagherR08
约翰·加拉赫,Mads Rosendahl公司:
近似项重写系统：Horn子句规范及其实现。 682-696
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KopR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KopR08
辛西娅·科普,费尔克·范·拉姆斯登克:
一种高阶迭代路径排序。 697-711

服务

管理网站设置

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