停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2017年第32届LICS：冰岛雷克雅未克

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

将细化列表导出为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/lics/2017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/2017
2017年6月20日至23日，冰岛雷克雅未克，2017年LICS，第32届ACM/IEEE计算机科学逻辑年会。 IEEE计算机学会 2017，国际标准图书编号978-1-5090-3018-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Ouaknine17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Ouaknine17
乔尔·瓦克宁:
LICS 2017前言。 ii-iv（三）
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Colcombet17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Colcombet17
托马斯·科尔科姆贝特:
逻辑和常规成本功能。 1-4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Pasareanu17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Pasareanu17
科琳娜·帕萨雷努:
符号执行和概率推理。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Etessami17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Etessami17
库沙·埃特萨米:
一些无限状态MDP和随机博弈的算法。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Ong17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Ong17
C.-H.卢克·翁:
lambda演算的定量语义：关系模型的一些推广。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Hofman公司LT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HofmanLT17
彼得罗·霍夫曼,杰罗姆·勒鲁,帕特里克·托茨克:
无序数据向量的线性组合。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Blot17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Blot17
Valentin印迹:
通过棒递归解释系统F。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HoyrupG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HoyrupG17
马修·霍洛普,瓦利德·戈马:
关于可计算实函数的推广。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/棕色H17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BlondinH17
迈克尔·布隆丁,克里斯托夫·哈斯:
Petri网和状态向量加法系统中连续可达性的逻辑。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Cece17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Cece17
杰拉德·塞西:
一系列高效仿真算法的基础。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PlaceZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PlaceZ17
托马斯广场,马克·泽顿:
点深二的分隔。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/布兰切特M0T17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BlanchetteM0T17
贾斯敏·克里斯蒂安·布兰切特,费边·梅尔,安德烈·波佩斯库,德米特里·特拉泰尔:
高阶逻辑的基本非均匀（Co）数据类型。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CanavoiO17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CanavoiO17
菲利克斯·卡纳沃伊,马丁·奥托:
凯莱构造中的公共知识和多尺度局部性分析。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BovaM17文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BovaM17
西蒙·波娃,法比奥·莫加维罗:
Herbrand属性、有限拟Herbrank模型和用于量化联合查询的Chandra-Merlin定理。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/RahliBC17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/RahliBC17
文森特·雷利,马克·比克福德,罗伯特·康斯特布尔:
酒吧诱导：好的、坏的和丑的。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Doumane17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Doumane17
阿米娜·杜马内:
线性时间μ-演算的构造完备性。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AschieriCG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AschieriCG17
费德里科·阿舍里,阿加塔·恰巴托尼,弗朗西斯科·詹科:
哥德尔逻辑：从自然演绎到并行计算。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Mellies公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Mellies17
保罗·安德烈·梅利埃:
高阶奇偶自动机。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/库萨诺夫T17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KhousainovT17网址
巴赫·库萨诺夫,Toru Takisaka公司:
无限长字符串的大规模几何图形。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CzerwinskiL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CzerwinskiL17
沃伊切赫·切尔温斯基（Wojciech Czerwinski）,斯拉沃米尔·拉索塔:
一个计数器自动机的规则可分性。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GroheR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GroheR17
马丁·格罗,马丁·里泽特:
学习小程度结构上的一阶可定义概念。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GroheP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GroheP17
马丁·格罗,维德·帕库萨:
线性方程组的描述性复杂性及其在命题证明复杂性中的应用。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ZaidDGP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ZaidDGP17
法里德·阿布·扎伊德,阿努杰·达瓦尔,埃里希·格拉德尔,维德·帕库萨:
阿贝尔群和半群求和问题的可定义性。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/克莱门特LLM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ClementeLLM17
洛伦佐·克莱门特,斯拉沃米尔·拉索塔,兰科·拉齐奇,菲利普·马佐维耶基:
定时下推自动机和分支向量加法系统。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Uemura17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Uemura17
太极Uemura:
纤维纤维类别。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ChenM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ChenM17
胡比·陈,斯特凡·门格尔:
统计查询答案的逻辑。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Jeandel17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Jeandel17
伊曼纽尔·詹德尔:
闭包空间中的枚举可约性及其在逻辑和代数中的应用。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ThapperZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ThapperZ17
约翰·塔珀,斯坦尼斯拉夫·齐夫尼:
一般价值CSP的SDP放宽限制。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AfshariL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AfshariL17
巴哈雷语Afshari,格雷厄姆·E·利:
模态微积分的无切割完备性。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Kavvo17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Kavvos17
G.A.卡夫沃斯:
模态逻辑的双上下文计算。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HaaseKL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HaaseKL17
克里斯托夫·哈斯,斯特凡·基弗,马库斯·洛伊:
计算具有多维成本的马尔可夫链中的分位数。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MioFM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MioFM17
马泰奥·米奥,罗伯特·福伯,拉杜·马尔代尔:
马尔可夫过程的Riesz模态逻辑。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/JurdzinskiL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JurdzinskiL17
马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇:
为解决平价游戏制定简洁的进度措施。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/TsukadaAO17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/TsukadaAO17
津田武史,浅田和一,C.-H.卢克·翁:
刚性资源术语的一般种类。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Voigt17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Voigt17
马可·沃伊格特:
分离片段中硬问题的细粒度层次结构。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KissingerU17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KissingerU17
亚历克斯·基辛格,桑德·尤伊伦:
因果结构的范畴语义。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FilliotJLPR17文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FiliotJLPR17
艾曼纽尔·菲利奥特,伊斯马·杰克,内森·洛特,吉列尔莫·A·佩雷斯,Jean-François Raskin女士:
max-plus自动机的延迟和后悔判定。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BahrGM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BahrGM17
帕特里克·巴尔,汉斯·布格·格雷斯沃尔,拉斯穆斯·埃杰莱斯·莫格伯格:
时钟在滴答作响：不要再耽搁了！ 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/QuasS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/QuaasSW17
卡林·夸斯,马赫萨·希尔穆罕默德,詹姆斯·沃雷尔:
重温时间自动机中的可达性。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/TzameretC17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/TzameretC17
伊多·萨默雷,史提芬·古克:
行列式恒等式的统一、积分和有效证明。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KieferMSW17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KieferMSW17
斯特凡·基弗,理查·马,马赫萨·希尔穆罕默德,多米尼克·沃伊特扎克:
可计数MDP中的平价目标。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BenediktDSW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BenediktDSW17
本尼迪克特,蒂莫西·达夫,阿迪蒂亚·沙拉德,詹姆斯·沃雷尔:
多项式自动机：零度及其应用。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MardarePP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MardarePP17
拉杜·马尔代尔,普拉卡什·帕南加登,戈登·普洛金:
关于数量代数的公理化。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/小瓶17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Vial17
皮埃尔小瓶:
无限交集类型作为序列：Klop问题的新答案。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HernichK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HernichK17
安德烈·赫尼奇,Phokion G.Kolaitis公司:
包语义下信息集成的基础。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ColcombetJLS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ColcombetJLS17
托马斯·科尔科姆贝特,马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,西尔万·施密茨:
完美的半空间游戏。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/0001BV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/0001BV17
米盖尔·罗梅罗,巴勃罗·巴塞洛,莫舍·瓦尔迪:
正则图模式的同态问题。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KieferPS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KieferPS17
桑德拉·基弗,伊利亚·波诺马连科,帕斯卡·施韦策:
平面图的Weisfeiler-Leman维数最多为3。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DawarW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DawarW17
阿努杰·达瓦尔,王鹏明:
CSP的半定规划和lasserre下界的可定义性。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KammarLMS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KammarLMS17
奥哈德·卡马尔,保罗·布莱恩·利维,肖恩·莫斯,萨姆·斯塔顿:
用于完整地面参考细胞的单子。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/巴甫洛维奇17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PavlovicS17
达斯科·巴甫洛维奇,彼得·迈克尔·塞德尔:
一元规划中的商：射影代数等价于余代数。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ChenLTW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ChenLTW17
陈玉芳,Ondrej Lengál,陈庆炎,吴志林:
用线性算法注册自动机。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/LagoTY17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/LagoTY17
乌戈·达尔·拉戈,田中隆,吉水昭弘（Akira Yoshimizu）:
并发交互的几何结构：通过多个令牌处理多个端口。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PedrotT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PedrotT17
皮尔雷·马里·佩德罗,尼古拉斯·塔巴鲁:
消除依赖上瘾的有效方法。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BerardiT17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BerardiT17
斯特凡诺·贝拉迪,Makoto Tatsuta公司:
归纳定义和算术循环证明的等价性。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HeuvelKPQRS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HeuvelKPQRS17
扬·范登·胡维尔,斯蒂芬·克鲁泽,米查尔·皮利普祖克,丹尼尔·基罗兹,罗曼·拉宾诺维奇,塞巴斯蒂安·西贝茨:
有界展开图类上连续不变一阶公式的模型检验。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Wrona17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Wrona17
米查尔·罗纳:
保守约束语言最小推理问题的复杂性。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/LagoGL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/LagoGL17
乌戈·达尔·拉戈,弗朗西斯科·加瓦佐,保罗·布莱恩·利维:
有效的应用双重相似性：单数、关系词和豪的方法。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BiernackaBLPPS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BiernackaBLPPS17
马尔戈扎塔·比尔纳卡,达柳斯·比尔纳茨基,塞尔盖·伦格利特,彼得罗·波列修克（Piotr Polesiuk）,达米安·普斯,阿兰·施密特:
通过抽象机在HOcore中对λ-演算进行完全抽象编码。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Capretaf17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CaprettaF17
维南西奥·卡普雷塔,乔纳森·福勒:
一元流函数的连续性。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HofmannL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HofmannL17
马丁·霍夫曼,杰雷米·莱登特:
用于高阶模型检查的笛卡尔闭范畴。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Capelli17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Capelli17
弗洛伦特·卡佩利:
使用知识汇编了解#SAT的复杂性。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/SurinxBG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/SurinxBG17
迪米特里·苏林克斯,简·范登·巴斯彻（Jan Van den Bussche）,德克·范·古赫特:
包含连词下二元关系代数中算子的本原性。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Grussien17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Grussien17
贝里特·格鲁（Berit Grußien）:
使用模块分解捕获多项式时间。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Finster公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FinsterM17
埃里克·芬斯特,塞缪尔·米姆拉姆:
弱ω-范畴的类型理论定义。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Zimermann17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Zimmermann17
马丁·齐默尔曼:
有成本和延迟的游戏。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ChadhaS017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ChadhaS017
罗希特·查达,A.普拉萨德·西斯特拉,马赫什·维斯瓦纳坦:
验证随机安全协议。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DudenhefnerR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DudenhefnerR17
安德烈·杜登赫夫纳,雅各布·雷霍夫:
有界维度的可类型性。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BartoKOPP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BartoKOPP17
利伯·巴托,迈克尔·孔帕彻,米罗斯拉夫·奥萨克,Trung Van Pham公司,迈克尔·平斯克:
无限域约束满足问题两个二分法猜想的等价性。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Abramsky公司DW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AbramskyDW17
萨姆森·阿布拉姆斯基,阿努杰·达瓦尔,王鹏明:
有限模型理论中的卵石效应。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CoquandMR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CoquandMR17
蒂埃里·科昆,巴塞尔·曼纳,费比安·鲁奇:
类型理论的堆栈语义。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MayrSTW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MayrSTW17
理查·马,斯文·舍韦,帕特里克·托茨克,多米尼克·沃伊特扎克:
具有能源平价目标的MDP。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Nakamura17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Nakamura17
中村吉吉:
克莱恩寓言图的偏导数。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KuskeS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KuskeS17
迪特里希·库斯克,妮可·施韦卡特:
带计数的一阶逻辑。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KieferMSW17a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KieferMSW17a
斯特凡·基弗,理查·马,马赫萨·希尔穆罕默德,多米尼克·沃伊特扎克:
可数随机对策的强确定性。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Baldan公司CG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BaldanCG17
保罗·巴尔丹,安德烈亚·科拉迪尼,法比奥·加杜奇:
融合的域和事件结构。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BerthonMMRV17文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BerthonMMRV17
拉斐尔·伯顿,巴斯蒂恩·莫伯特,阿尼埃洛·穆拉诺,萨沙·鲁宾,莫舍·瓦尔迪:
信息不完全的战略逻辑。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HeenneKSY17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HeenneKSY17网址
克里斯·希恩,奥哈德·卡马尔,萨姆·斯塔顿,杨红seok:
高阶概率理论的一个方便范畴。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BaschenisGMP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BaschenisGMP17
费利克斯·巴斯切尼斯,奥利维尔·高文,安卡·穆斯科尔,加布里埃尔小狗:
在基本时间解开双向换能器。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/SchroderS17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/SchroderS17
马蒂亚斯·施罗德,弗洛里安·斯坦博格:
度量空间和Banach空间上的有界时间计算。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GehrkePR17配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GehrkePR17
麦盖尔克,丹妮拉·佩特里桑,卢卡·雷吉奥:
关于语言和共密度单体的量词。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HalfonSZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HalfonSZ17
西蒙·哈弗冯,菲利普·施诺贝伦,乔治·泽采:
一阶逻辑相对于子字排序的可决定性、复杂性和表达性。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Glabeek公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Glabeek17
罗布·范·格拉贝克:
递归的精简和完全同余格式。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/EdalatM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EdalatM17
阿巴斯·艾达拉特,梅赫达德·马利基:
逻辑形式的区分。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/EsparzaMW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EsparzaMW17
哈维尔·埃斯帕尔扎,安卡·穆斯科尔,伊戈尔·瓦卢凯维奇:
确定性谈判的静态分析。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Cervelle公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CervelleL17
朱利安·塞维尔,格雷戈里·拉菲特:
关于变换最大滤波器和激素细胞自动机。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BuchholtzR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BuchholtzR17
乌尔里克·巴赫霍尔茨,埃格伯特·里杰克:
同伦型理论中的实射影空间。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BarV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BarV17
Krzysztof酒吧,杰米·维卡里:
准严格更高类别的数据结构。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CadilhacP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CadilhacP17
米夏·卡迪哈克,查尔斯·帕普曼:
克雷恩海滩上的裂缝：有限度谓词。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Bulatov17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Bulatov17
安德烈·布拉托夫:
半格块Mal'tsev代数上的约束满足问题。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ArenasMR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ArenasMR17
马塞洛竞技场,马丁·穆尼奥斯,克里斯蒂安·里弗罗斯:
用于计算复杂性类的描述性复杂性。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/UrabeHH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/UrabeHH17
Natsuki Urabe公司,原正木,哈朔一郎:
利用共草书代数进行范畴活性检查。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FurberKLMP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FurberKLMP17
罗伯特·福伯,德克斯特·科赞,金·G·拉森,拉杜·马尔代尔,普拉卡什·帕南加登:
马尔可夫过程的不受限制的石头对偶。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KaminskiK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KaminskiK17
本杰明·卢西安·卡明斯基,Joost-Pieter Katoen公司:
混合设计期望的最弱预期望语义。 1-12

服务

管理网站设置

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