×
哈维尔·埃斯帕尔扎（编辑）；Andrzej S.穆拉夫斯基。（编辑）

软件科学和计算结构基础。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。 （英语） Zbl 1360.68010号

计算机科学课堂讲稿10203.柏林：施普林格出版社（ISBN 978-3-662-54457-0/pbk；978-3-562-54458-7/电子书）。十七、568页。(2017).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1333.68011号].
索引文章：
Kei松本，相干空间和一致连续性，3-19[Zbl 1486.03108号]
拉斐尔·克鲁比莱；托马斯·埃尔哈德（Thomas Ehrhard）；米歇尔·帕加尼；克里斯汀·塔森，概率相干空间的自由指数形式，20-35[Zbl 1486.03104号]
詹姆斯·莱尔德，从定性语义到定量语义。通过改变基数，36-52[Zbl 1486.68023号]
Sin'ya，龙马；川崎朝田；小林，直纪；津田，武士，几乎每个简单类型的\（\lambda\）-项都有一个长\（\beta\）-约简序列，53-68[Zbl 1486.68035号]
米歇尔·博雷尔，代数，余代数，多项式微分方程中的极小化，71-87[Zbl 1486.68109号]
康斯坦蒂诺斯·马穆拉斯，基于Kleene代数的异常终止方程理论，88-105[Zbl 1486.68043号]
Damien Pous；朱里安·罗特《伴侣、密码和因果关系》，106-123[兹比尔1442.68149]
卢茨·施罗德；德克斯特·科赞；斯特凡·米利厄斯；托尔斯滕·维曼，带名称绑定的标称自动机，124-142[Zbl 1486.68097号]
布鲁埃、维罗尼克；勒鲁（Le Roux），斯特芬（Stéphane）；阿诺·保利；Jean-François拉斯金，关于弱子博弈完美均衡的存在性，145-161[Zbl 1486.91016号]
Busatto-Gaston，Damien；本杰明·蒙梅格；皮埃尔·阿莱·雷尼尔，发散加权时间博弈中的最优可达性，162-178[Zbl 1486.68092号]
Patricia Bouyer；彼得·霍夫曼；尼古拉斯·马基（Nicolas Markey）；米凯尔·兰多尔（Mickael Randour）；马丁·齐默尔曼，极限平均能量游戏，179-195[兹比尔1392.68115]
塞尔吉奥（Sergio Abriola）；Diego Figueira；圣地亚哥菲格拉，数据树和分支计数器系统上重复值的逻辑，196-212[Zbl 1486.68119号]
Laure-Daviaud；伊斯马·杰克；皮埃尔·阿莱·雷尼尔（Pierre-Alain Reynier）；迪迪埃·维勒瓦洛斯，加权自动机的序列度，215-230[兹比尔1396.68075]
罗希特·查达；Sistla，A.Prasad；马赫什·维斯瓦纳坦，隔离下的空与分层概率自动机的值问题，231-247[Zbl 1486.68093号]
彼得·蒂曼，无上下文语言的偏导数。从\（\mu\）-正则表达式到下推自动机，248-264[Zbl 1486.68098号]
Patricia Bouyer；文森特·朱格，Dyck可达性的动态复杂性，265-280[兹比尔1486.68125]
亚历克斯·辛普森，循环算术等价于Peano算术，283-300[Zbl 1486.03095号]
斯特凡诺·贝拉尔迪；Makoto Tatsuta，Martin-Löf归纳定义的经典系统不等价于循环证明系统，301-317[Zbl 1486.03094号]
卞、高昂；亚历山德罗·阿巴特，关于近似概率背景下互模拟和迹等价之间的关系，321-337[Zbl 1486.68108号]
文森特·达诺斯；托拜厄斯·海因德尔；伊利亚斯·加尼尔；雅各布·格鲁·西蒙森，计算连续时间马尔可夫链作为无界观测值的变换器，338-354[Zbl 1486.68112号]
佛罗伦萨克莱尔克；文森特·达诺斯；弗雷德里克·达尔奎斯特（Fredrik Dahlqvist）；伊利亚斯·加尼尔，无意义学习，355-369[Zbl 1486.68146号]
弗拉维恩·布鲁瓦特；乌戈·达尔拉戈；阿加提·埃尔鲁，关于高阶概率次递归，370-386[Zbl 1486.68038号]
Ken Sakayori；津田，武士，异步演算的真正并发游戏模型，389-406[Zbl 1486.68116号]
保罗·巴尔丹；托马索·帕多安，在逻辑中检查本地模型以实现真正的并发，407-423[Zbl 1486.68102号]
鲁伊斯·克鲁斯·菲利佩；Larsen，Kim S。；法布里西奥·蒙泰西，舞蹈提取的路径，424-440[Zbl 1486.68111号]
朱利安·兰格（Julien Lange）；吉田、Nobuko，关于异步会话子类型的不可判定性，441-457[Zbl 1486.68114号]
布兰切特，贾斯敏·克里斯蒂安；乌韦·沃尔德曼；丹尼尔·旺德，无lambda的高阶递归路径顺序，461-479[Zbl 1486.68085号]
弗莱德里克·吉尔伯特，自动构造证明，480-495[兹比尔1486.03025]
波拉·塞韦利，递归的轻量级形式，499-516[Zbl 1486.68033号]
谢尔盖·冈查洛夫（Sergey Goncharov）；卢茨·施罗德；克里斯托夫·劳赫（Christoph Rauch）；马西耶·皮罗格，统一保护和非保护迭代，517-533[Zbl 1486.68040号]
托尔斯滕·阿滕柯奇；丹尼尔森、尼尔斯·安德斯；克劳斯，尼古拉，偏爱，重温。偏单子作为商诱导型，534-549[Zbl 1486.68036号]
卡夫沃斯，G.A。，关于内涵的语义，550-566[Zbl 1486.03126号]

引用于1审查
引用于4文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
68季度xx 计算理论
00B25型 杂项特定利益的会议记录

引文：

Zbl 1333.68011号
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}（编辑）和\textit{A.S.Murawski}（编），软件科学和计算结构基础。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（2017；Zbl 1360.68010）
全文： 内政部