默认搜索操作

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

问别人

2010年第25届LICS：英国苏格兰爱丁堡

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/lics/2010
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/2010
2010年7月11日至14日，英国爱丁堡，第25届IEEE计算机科学逻辑年会论文集，LICS 2010。 IEEE计算机学会 2010，国际标准图书编号978-0-7695-4114-3

有限模型理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BaranyGO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BaranyGO10
文斯·巴拉尼,乔治·戈特洛布,马丁·奥托:
查询守护碎片。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Otto10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Otto10
马丁·奥托:
高度非循环群，超图覆盖和防护碎片。 11-20

类型理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/SilesH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/SilesH10
文森特·塞尔斯,雨果·赫伯林:
等式在半完全纯类型系统中是可类型化的。 21-30
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PopescuGO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PopescuGO10
安德烈·波佩斯库,埃尔萨·甘特,克里斯托弗·奥斯本:
基于FOAS的HOAS对系统F进行强归一化。 31-40
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Laird10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Laird10
詹姆斯·莱尔德:
多态编程语言的游戏语义。 41-49
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Herbelin10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Herbelin10
雨果·赫伯林:
证明马尔可夫原理的直觉逻辑。 50-56

向埃米尔和罗宾致敬

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Harel10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Harel10
哈雷尔:
阿米尔·普努利：一个温和的巨人，菲人和菲人的领主。 57
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Plotkin10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Plotkin10
戈登·普洛金:
罗宾·米尔纳，心智工具工匠。 58-59

逻辑与自动化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/JenkinsORW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JenkinsORW10
马克·詹金斯,Joël Ouaknine公司,亚历山大·拉比诺维奇,詹姆斯·沃雷尔:
有限时间上的交替时间自动机。 60-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ColcombetL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ColcombetL10
托马斯·科尔科姆贝特,克里斯托夫·洛丁:
有限树上的正则代价函数。 70-79
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KopczynskiT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KopczynskiT10
埃里克·科普钦斯基,安东尼·威贾贾（Anthony Widjaja To）:
Parikh语法图像：复杂性和应用。 80-89

CSP的复杂性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BodirskyHM10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BodirskyHM10
曼纽尔·博德斯基,马丁·希尔斯,巴纳比·马丁:
关于约束满足的泛代数方法的范围。 90-99
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BartoK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BartoK10
利伯·巴托,马金·科齐克:
泰勒品种和CSP的新条件。 100-109

受邀演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/阿巴迪10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Abadi10
马丁·阿巴迪:
安全的精美印刷品。 110

语义学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/EndrullisHK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EndrulisHK10
约格·恩德鲁利斯,迪米特里·亨德里克斯,简·威廉·克洛普:
不动点合路器和时钟博姆树的模块化构造。 111-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BroadbentCOS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BroadbentCOS10
克里斯托弗·布罗德本特,阿诺德·卡拉约尔,C.-H.卢克·翁,奥利维尔·塞雷:
递归方案和逻辑反射。 120-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BrotherstonK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BrotherstonK10
詹姆斯·布罗瑟斯顿,马克斯·卡诺维奇:
命题分离逻辑及其邻域的不确定性。 130-139
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Larchey-WendlingG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Larchey-WendlingG10
Dominique Larchey-Wendling公司,迪迪埃·加尔米奇:
布尔BI通过阶段语义的不确定性。 140-149
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Mellies10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Mellies10
保罗·安德烈·梅利埃:
Segal条件满足计算效果。 150-159

有限模型理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KuskeLL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KuskeLL10
迪特里希·库斯克,刘嘉谋,马库斯·洛伊:
自动结构类的同构问题。 160-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/He10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/He10
何玉国:
有限结构上一阶量词结构层次的严格性。 170-178

有限模型理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Grohe10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Grohe10
马丁·格罗:
带排除子图的不动点可定义性和多项式时间。 179-188
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KreutzerT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KreutzerT10
斯蒂芬·克鲁泽,Siamak Tazari公司:
一元二阶逻辑复杂性的下限。 189-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Laubner10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Laubner10网站
巴斯蒂安·劳布纳:
在区间图上捕获多项式时间。 199-208

逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/JohannSV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JohannSV10
帕特里夏·约翰,亚历克斯·辛普森,Janis Voigtländer公司:
代数效应的通用操作元理论。 209-218
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Zeilberger10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Zeilberger10
诺姆·齐尔伯格:
极性和分隔连续体的逻辑。 219-227

主题报告

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CaliGLMP10配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CaliGLMP10
安德烈亚·卡奥,乔治·戈特洛布,托马斯·卢卡西维茨,布鲁诺·马内特,安德烈亚斯·皮利斯:
Datalog+/-：一系列用于新应用程序的逻辑知识表示和查询语言。 228-242

逻辑与自动化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BojanczykL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BojanczykL10
米科拉伊·博扬奇克,斯拉沃米尔·拉索塔:
捕获XPath的数据自动机的扩展。 243-252
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PlaceS10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PlaceS10
托马斯广场,吕克·塞古芬:
确定FO中的可定义性₂树上的（<）（或XPath）。 253-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BargunoCGJV10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BargunoCGJV10
路易斯·巴尔古诺,卡尔斯·克鲁斯,吉勒姆·戈多伊,弗洛伦特·雅克马尔,卡米尔·瓦彻:
具有全局约束的树自动机的空问题。 263-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/SchweikardtS10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/SchweikardtS10
妮可·施韦卡特,吕克·塞古芬:
加法不变量FO和正则性。 273-282

主题报告

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Moore10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Moore10
J斯特罗瑟·摩尔:
定理验证：早期。 283

逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GuglielmiGS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GuglielmiGS10
阿莱西奥·古列尔米,汤姆·冈德森,Lutz Stra汉堡:
经典逻辑中原子流的中断路径。 284-293
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BasaldellaT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BasaldellaT10
米歇尔·巴斯德拉,Kazushige Terui公司:
Ludics中的无限完备性。 294-303
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AvronAZ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AvronAZ10
阿诺·阿夫伦,奥弗·阿里埃利,安娜·扎曼斯基:
关于次协调有限值逻辑的强极大性。 304-313

受邀演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AlvimAP10文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AlvimAP10
马里奥·阿尔维姆,米盖尔·安德烈斯,帕拉米德斯猫:
概率信息流。 314-321

过程演算

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Johansson公司BPV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JohanssonBPV10
马格森,杰斯珀·本特森,约阿希姆·帕罗,比约恩·维克多:
Psi-Calculi中的弱等价。 322-331
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BartolettiZ10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BartolettiZ10
马西莫·巴托莱蒂,罗伯托·祖尼诺:
承包过程的微积分。 332-341
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/EisentrautHZ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EisentrautHZ10
克里斯蒂安·艾森特罗,霍尔格·赫尔曼斯,张丽君:
连续时间中的概率自动机。 342-351
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Goubault-Larrecq10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Goubault-Larrecq10（网址：https://dblp.org/rec/conf/lics/Goubault-Larrecq10）
让·古堡-拉雷克:
omega-QRB-域和概率功率域。 352-361

受邀演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DanosFFHK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DanosFFHK10
文森特·达诺斯,杰罗姆·费雷特,沃尔特·丰塔纳,罗素·哈默,让·克里文:
抽象基于规则的模型的差异语义：精确和自动的模型约简。 362-381

并发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/LaneveV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/LaneveV10
科西莫·拉伊夫,安东尼奥·维塔莱:
同步的表现力。 382-391
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/StatonW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/StatonW10
萨姆·斯塔顿,格林·温斯克:
论事件结构中对称性的表达。 392-401
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Ehrhard10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Ehrhard10
托马斯·埃尔哈德:
资源项的有限结构。 402-410

余代数

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Abramsky10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Abramsky10
萨姆森·阿布拉姆斯基:
余代数、Chu空间和物理系统的表示。 411-420
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Milius公司10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Milius10
斯特凡·米利乌斯:
有限流电路的完善微积分。 421-430

管理网站设置

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