停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2016年第19届FoSSaCS：荷兰埃因霍温（ETAPS 2016的一部分）

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fospacs/2016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/2016
雅各布施,克里斯托夫·洛丁:
软件科学和计算结构基础——2016年第19届国际会议，FOSSACS，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2016，荷兰埃因霍温，2016年4月2-8日，会议记录。计算机科学课堂讲稿9634,施普林格 2016，国际标准图书编号978-3-662-49629-9

类型

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/GhaniFS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/GhaniFS16
尼尔·加尼,弗雷德里克·诺德瓦尔·福斯伯格,亚历克斯·辛普森:
综合参数多态性：范畴模型和类型理论。 3-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BizjakGCMB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BizjakGCMB16
亚历斯·比兹亚克,汉斯·布格·格雷斯沃尔,拉纳德·克鲁斯顿,拉斯穆斯·埃杰莱斯·莫格伯格,拉尔斯·比克达尔:
具有共导类型的保护依赖类型理论。 20-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AhmanGP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AhmanGP16
丹尼尔·艾哈曼,尼尔·加尼,戈登·普洛金:
依赖类型和光纤计算效果。 36-54
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Laird16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Laird16
詹姆斯·莱尔德:
有界多态的博弈语义。 55-70

递归和固定点

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AxelsenK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AxelsenK16
霍尔格·博克·阿克塞尔森,罗宾·卡斯加德:
将逆范畴连接为可逆递归模型。 73-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/CaprettaU16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/CaprettaU16
维南齐奥·卡普雷塔,塔尔莫·乌斯塔卢:
棒材递归和棒材归纳的联合视图。 91-106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/MiliusPW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/MiliusPW16
斯特凡·米利乌斯,德克·帕丁森,托尔斯滕·维曼:
金融担保的新基础——局部有限不动点及其性质。 107-125
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/GhilardiGS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/GhilardiGS16
西尔维奥·吉拉尔迪,玛丽亚·乔安·古韦亚,路易吉·桑托卡纳莱:
直觉命题演算中的定点消除法。 126-141

验证和程序分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fospacs/Francalanza16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Francalanza16
阿德里安·弗兰卡兰扎:
监视器理论（扩展摘要）。 145-161
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/LazicM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/LazicM16
兰科·拉齐奇,安德热伊·穆拉夫斯基:
上下文近似和高阶程序。 162-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AmtoftB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AmtoftB16
托本·阿姆托夫特,安妮迪亚·班纳吉:
概率控制流图的切片理论。 180-196
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/FortinG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/FortinG16
玛丽·福廷,保罗·加斯廷:
通过分裂宽度验证参数化通信自动机。 197-213

自动机、逻辑、游戏

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Brenguier16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Brenguier16
罗曼·布伦吉尔:
Mean-Payoff博弈中的稳健均衡。 217-233
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fosacs/PierronPZ16文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/PierronPZ16
塞奥·皮耶伦,托马斯广场,马克·泽图恩:
无限词的量词交替。 234-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/ChistikovMS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/ChistikovMS16
德米特里·奇斯蒂科夫,帕维尔·马图金,马赫萨·希尔穆罕默德:
在嵌套单词上同步自动机。 252-268
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/DeckerT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/DeckerT16
诺曼·戴克,丹尼尔·托马:
使用有序属性冻结LTL。 269-284
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Durand-Gasselin公司16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Durand-Gasselin16
安托万·杜兰·加塞林,彼得·哈贝梅尔:
通过原始信息进行数据词的规则转换。 285-300

概率和定时系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/FijalkowKS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/FijalkowKS16
纳塔娜·菲亚尔科夫,斯特凡·基弗,马赫萨·希尔穆罕默德:
标记马尔可夫决策过程中的迹精化。 303-318
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AdullaCMSS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AdullaCMSS16
帕罗什·阿齐兹·阿卜杜拉,拉杜·乔巴努,理查·马,阿诺德·桑尼尔,杰里米·斯普洛斯顿:
VASS诱导的MDPs的定性分析。 319-334
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/KrishnaMP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/KrishnaMP16
桑卡拉·纳拉亚南·克里希纳,库什拉伊·马德纳尼,帕里托什·K·潘迪亚:
带计数的度量时态逻辑。 335-352
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/HermannsKV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/HermannsKV16
霍尔格·赫尔曼斯,Jan Krcál公司,Steen背心:
连续时间的分布式合成。 353-369

证明理论与Lambda演算

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AubertBS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AubertBS16
克莱门特·奥伯特,马克·巴格诺尔,托马斯·塞勒:
一元分辨率：表征Ptime。 373-389
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/ChaudhuriMS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/ChaudhuriMS16
考斯特夫·乔杜里,索尼娅·马林,Lutz Stra汉堡:
聚焦和合成嵌套序列。 390-407
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/PaganiTV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/PaganiTV16
米歇尔·帕加尼,克里斯汀·塔森,莱昂内尔·沃克斯:
通过\lambdaλ-项的泰勒展开作为有限结构的强正规化。 408-423
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Kesner16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Kesner16
迪莉娅·凯斯纳:
通过类型推理Call-by need。 424-441

无限系统的算法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/HofmanLLLST16公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/HofmanLLLST16
彼得罗·霍夫曼,斯拉沃米尔·拉索塔,兰科·拉齐奇,杰罗姆·勒鲁,西尔万·施密茨,帕特里克·托茨克:
无序数据Petri网的可覆盖树。 445-461
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/ChistikovCHPW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/ChistikovCHPW16
德米特里·奇斯蒂科夫,沃伊切赫·切尔温斯基（Wojciech Czerwinski）,彼得罗·霍夫曼,米查尔·皮利普祖克,迈克尔·韦哈尔:
单计数器系统中的最短路径。 462-478
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Drager16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Drager16
克劳斯·达格:
矩阵半群的不变性问题。 479-492
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Meseguer16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Meseguer16
何塞·梅塞盖尔:
顺序排序重写和同余闭包。 493-509

莫纳德

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fospacs/FujiiKM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/FujiiKM16
藤井宗一郎,Shin-ya胜本,保罗·安德烈·梅利埃:
走向分级单子的形式理论。 513-530
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/ChenAMU16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/ChenAMU16
陈良亭,杰里·阿达梅克,斯特凡·米利乌斯,亨宁·乌尔巴特:
Profinite Monads、Profinite方程和Reiterman定理。 531-547

服务

管理网站设置

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