默认搜索操作

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

问别人

2017年第20届FoSSaCS：瑞典乌普萨拉（ETAPS 2017的一部分）

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/2017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/2017
哈维尔·埃斯帕尔扎,安德烈·穆拉夫斯基:
软件科学和计算结构基础-第20届国际会议，FOSSACS 2017，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2017，乌普萨拉，瑞典，2017年4月22日至29日，会议记录。计算机科学课堂讲稿10203,2017，国际标准图书编号978-3-662-54457-0

相干空间与高阶计算

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/松本17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Matsumoto17
Kei Matsumoto（松本圭）:
相干空间和一致连续性。 3-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/CrubilleEPT17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/CrubilleEPT17
拉斐尔·克鲁比莱,托马斯·埃尔哈德,米歇尔·帕加尼,克里斯汀·塔森:
概率相干空间的自由指数模态。 20-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fosacs/Laird17文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Laird17
詹姆斯·莱尔德:
从定性语义学到定量语义学——通过基础的变化。 36-52
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/SinyaA0T17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/SinyaA0T17
龙马新亚,浅田和一,小林直树,津田武史:
几乎每个简单类型的λ-项都有一个长β-约化序列。 53-68

代数与余代数

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Boreale17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Boreale17
米歇尔·博雷尔:
多项式微分方程中的代数、余代数和最小化。 71-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Mamouras17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Mamouras17
康斯坦蒂诺斯·马穆拉斯:
基于Kleene代数的异常终止方程理论。 88-105
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/PousR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/PousR17
达米恩·普斯,侏罗纪腐朽:
同伴、Codensity和因果关系。 106-123
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/SchroderKMW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/SchroderKMW17
卢茨·施罗德,德克斯特·科赞,斯特凡·米利乌斯,托尔斯滕·维曼:
带有名称绑定的标称自动机。 124-142

游戏和自动化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Bruyere0PR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Bruyere0PR17
维罗妮克·布鲁耶尔,圣埃芬·勒鲁,阿诺·保利,Jean-François Raskin女士:
弱子博弈完美均衡的存在性。 145-161
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Busatto-GastonM17会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Busatto-GastonM17
达米安·巴斯托·加斯顿,本杰明·蒙梅格,皮尔雷·阿莱恩·雷尼尔:
发散加权时间博弈中的最优可达性。 162-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BouyerHMR017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BouyerHMR017
帕特里夏·鲍耶,彼得罗·霍夫曼,尼古拉斯·马基,米凯尔·兰德尔,马丁·齐默尔曼:
极限平均能量游戏。 179-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AbriolaFF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AbriolaFF17
塞尔吉奥·阿布里奥拉,迭戈·菲奎拉,圣地亚哥·菲格雷拉:
数据树和分支计数器系统上重复值的逻辑。 196-212

自动机、逻辑和形式语言

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/DaviaudJRV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/DaviaudJRV17
劳雷·达维奥德,伊斯梅尔·耶克尔,皮尔雷·阿莱恩·雷尼尔,迪迪埃·维勒瓦洛斯:
加权自动机的序贯度。 215-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fosacs/ChadaS017文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/ChadhaS017
罗希特·查达,A.普拉萨德·西斯特拉,马赫什·维斯瓦纳坦:
孤立状态下的空与层次概率自动机的值问题。 231-247
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Tiemann公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Tiemann17
彼得·蒂曼:
上下文无关语言的偏导数-从正则表达式到下推自动机。 248-264
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BouyerJ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BouyerJ17
帕特里夏·鲍耶,文森特·朱格:
Dyck可达性的动态复杂性。 265-280

证明理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Simpson公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Simpson17
亚历克斯·辛普森:
循环算术与皮亚诺算术等价。 283-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fospacs/BerardiT17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BerardiT17网址
斯特凡诺·贝拉迪,Makoto Tatsuta公司:
马丁洛夫归纳定义的经典体系与循环证明体系不等价。 301-317

概率

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BianA17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BianA17
高岗边,亚历山德罗·阿巴特:
近似概率背景下的互模拟与迹等价关系。 321-337
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fosacs/DanosHGS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/DanosHGS17
文森特·达诺斯,托比亚斯·海因德尔,伊利亚斯·加尼尔,雅各布·格鲁·西蒙森:
计算连续时间马尔可夫链作为无界观测值的变换器。 338-354
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/ClercDDG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/ClercDDG17
弗洛伦斯·克莱尔,文森特·达诺斯,弗雷德里克·达尔奎斯特,伊利亚斯·加尼尔:
无意义的学习。 355-369
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BreuvartLH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BreuvartLH17
弗拉维恩·布鲁瓦特,乌戈·达尔·拉戈,阿加西·埃尔鲁:
关于高阶概率次递归。 370-386

并发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/SakayoriT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/SakayoriT17
Ken Sakayori（肯·萨卡约里）,冢田武（Takeshi Tsukada）:
异步微积分的真正并发博弈模型。 389-406
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BaldanP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BaldanP17
保罗·巴尔丹,托马索·帕多安:
本地模型检查逻辑以实现真正的并发。 407-423
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Cruz-FilipeLM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Cruz-FilipeLM17
路易斯·克鲁斯·菲利佩,金·拉森,法布里奇奥·蒙泰西:
舞蹈提取之路。 424-440
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/LangeY17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/LangeY17
朱利安·兰格,吉田信子:
关于异步会话子类型的不可解释性。 441-457

Lambda微积分与构造性证明

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BlanchetteWW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BlanchetteWW17
贾斯敏·克里斯蒂安·布兰切特,乌韦·沃尔德曼,丹尼尔·旺德:
无Lambda的高阶递归路径顺序。 461-479
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fospacs/Gilbert17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Gilbert17网址
吉尔伯特神父:
自动构造证据。 480-495

语义学与范畴理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Severi公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Severi17
保拉·塞弗里:
递归的一种轻模态。 499-516
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/0001SRP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/0001SRP17
谢尔盖·冈查洛夫,卢茨·施罗德,克里斯托夫·劳赫,马西耶·皮罗格:
统一保护迭代和非保护迭代。 517-533
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AltenkirchDK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AltenkirchDK17
托尔斯滕·阿滕柯奇,尼尔斯·安德斯·丹尼尔森,尼古拉·克劳斯:
党派性，重新审视-作为商归纳归纳型的党派性莫纳德。 534-549
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Kavvos17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Kavvos17
G.A.卡夫沃斯:
内涵语义论。 550-566

管理网站设置

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