停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2011年第26届LICS：加拿大安大略省多伦多市

>主页 >会议和研讨会 >低收入国家

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/lics/2011
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/2011
2011年6月21日至24日，加拿大安大略省多伦多，第26届IEEE计算机科学逻辑年会论文集，LICS 2011。 IEEE计算机学会 2011，国际标准图书编号978-0-7695-4412-0

教程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Atserias11文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Atserias11
阿尔伯特·阿塞里亚斯:
有限模型理论的Why-on-Earth教程。三
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Panangaden公司11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Panangaden11
普拉卡什·帕南加登:
语义学的意义。 4-5

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Tiwari11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Tiwari11
阿什什·蒂瓦里:
软件、动力学和生物系统中的逻辑。 9-10

逻辑与自动化I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CarayolHS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CarayolHS11
阿诺焦油醇,阿克塞尔·哈达德,奥利维尔·塞雷:
定性树语言。 13-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KufleitnerL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KufleitnerL11
曼弗雷德·库夫莱特纳,亚历山大·劳泽:
无限单词上的点深一语言。 23-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BraddilBCFK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BrazdilBCFK11
托马斯·布拉兹迪尔,瓦克拉夫·布罗泽克,克里希南德·查特吉,Vojtech预测,安东·库塞拉:
马尔可夫决策过程中多均值-收益目标的两种观点。 33-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BokerCHK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BokerCHK11
乌迪·博克,克里希南德·查特吉,托马斯·汉津格,奥尔娜·库普夫曼:
具有累积值的时间规格。 43-52

语义学I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BirkedalMSS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BirkedalMSS11
拉尔斯·比克达尔,拉斯穆斯·埃杰莱斯·莫格伯格,简·施温哈默,克里斯蒂安·斯特夫林:
合成保护域理论的第一步：树顶部的逐步索引。 55-64
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ChurchillLM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ChurchillLM11
马丁·丘吉尔,詹姆斯·莱尔德,盖伊·麦库斯克:
通过游戏语义作为证明的命令程序。 65-74
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MurawskiT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MurawskiT11
安德烈·穆拉夫斯基,尼科斯·齐夫列科斯:
良好通用参考的游戏语义。 75-84

概率计算

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/EhrhardPT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EhrhardPT11
托马斯·埃尔哈德,米歇尔·帕加尼,克里斯汀·塔森:
概率相干空间的计算意义。 87-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Goubault-LarrecqV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Goubault-LarrecqV11
让·古堡-拉雷克,丹妮尔·瓦拉卡:
连续随机变量。 97-106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AkermanFR11文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AckermanFR11网址
纳撒尼尔·L·阿克曼,卡梅隆·E·弗里尔,丹尼尔·罗伊:
不可计算的条件分布。 107-116

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Pitassi11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Pitassi11
托尼安·皮塔西:
命题证明复杂性：最新进展综述，包括一些最新结果。 119

类型理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Marion11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Marion11
珍妮·伊夫·马里恩:
复杂流分析的类型系统。 123-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/LagoG11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/LagoG11
乌戈·达尔·拉戈,马可·加博阿迪:
线性相关类型和相对完整性。 133-142
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BarrasJSW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BarrasJSW11
布鲁诺·巴拉斯,Jean-Pierre Jouannaud女士,Pierre-Yves支柱,钱旺（Qian Wang）:
CoQMTU：一种具有可判定一阶理论参数化的普遍性谓词层次的高阶类型理论。 143-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Clairambault11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Clairambault11
皮埃尔·克莱兰堡:
存在高阶引用时的类型同构。 152-161

复杂性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ChenF11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ChenF11
陈一佳（音）,Jörg Flum公司:
列表和逻辑。 165-174
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HerrmannZ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HerrmannZ11
克里斯蒂安·赫尔曼,马丁·齐格勒:
量子可满足性的计算复杂性。 175-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/LeC11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/LeC11
戴三文乐,史提芬·古克:
形式化随机匹配算法。 185-194

证明理论与线性逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Miquel11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Miquel11
亚历山大·米克尔:
强制作为程序转换。 197-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Heijltjes11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Heijltjes11
威廉·海杰斯:
带单位的加法线性逻辑的证明网。 207-216

邀请的Tal

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Kobayashi11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Kobayashi11
小林直树:
高阶模型检验：从理论到实践。 219-224

语义学II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GoncharovS11号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GoncharovS11
谢尔盖·冈查洛夫,卢茨·施罗德:
Powermonad和Unranged Effects张量。 227-236
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/哈索H11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HasuoH11
哈朔一郎,细野直彦:
通过相互作用几何的高阶量子计算的语义。 237-246
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HurDV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HurDV11
中基尔湖,德里克·德雷尔,维克托·瓦菲亚迪斯:
垃圾收集中的分离逻辑。 247-256
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KrishnaswamiB11号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KrishnaswamiB11
Neelakantan R.克里希纳斯瓦米,尼克·本顿:
反应式程序的极端语义。 257-266

可决定性和复杂性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FigueiraFSS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FigueiraFSS11网站
迭戈·菲奎拉,圣地亚哥·菲格雷拉,西尔万·施密茨,菲利普·施诺贝伦:
Ackermannian和基本递归边界与Dickson引理。 269-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GollerL11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GollerL11
斯特凡·格勒,安东尼·威贾贾·林:
验证地树重写系统的复杂性。 279-288
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KontinenKLV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KontinenKLV11
朱哈·孔廷宁,安蒂·库西斯托,彼得·洛曼,乔尼·维特马:
二元依赖逻辑和IF-Logic的复杂性。 289-298

约束满足及相关问题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Barto11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Barto11
利伯·巴托:
再论保守约束满足问题的二分法。 301-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/马德兰M11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MadelaineM11
弗洛伦特·玛德琳,巴纳比·马丁:
无等式正一阶逻辑的四分法。 311-320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BodirskyPT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BodirskyPT11
曼纽尔·博德斯基,迈克尔·平斯克,托多·赞科夫:
可定义性的决定。 321-328

受邀演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Krokhin11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Krokhin11
安德烈·克鲁金:
在固定结构上评估一阶句子的复杂性。 331

逻辑与自动机II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BenediktPR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BenediktPR11
本尼迪克特,加布里埃尔小狗,克里斯蒂安·里弗罗斯:
规范的定期维修。 335-344
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AminofKL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AminofKL11
本杰明·阿米诺夫,奥尔娜·库普夫曼,罗比·兰伯特:
加权自动机的严格近似判定。 345-354
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BojanczykKL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BojanczykKL11
米科拉伊·博扬奇克,巴托克·克林,斯拉沃米尔·拉索塔:
具有组操作的自动机。 355-364
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Figueira11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Figueira11
迭戈·菲奎拉:
数据字上的可判定双向逻辑。 365-374

Halpern-Shoham逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MarcinkowskiM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MarcinkowskiM11
杰里·马尔辛科夫斯基（Jerzy Marcinkowski）,雅库布·米查利辛:
Halpern-Shoham逻辑的最终不确定性结果。 377-386
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BresolinMSS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BresolinMSS11
大卫·布雷索林,安吉洛·蒙塔纳里,彼得罗·萨拉,Guido Sciavicco公司:
Halpern和Shoham的区间逻辑的决定因素是什么？最大片段ABBL。 387-396

并发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AbdullaM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AbdullaM11网站
帕罗什·阿齐兹·阿卜杜拉,理查·马:
在定价时间Petri网中计算最优覆盖成本。 399-408
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/RideauW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/RideauW11
西尔维恩·里多,格林·温斯克:
并发策略。 409-418

服务

管理网站设置

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