×

可达性问题。2018年9月24日至26日在法国马赛举行的RP 2018第12届国际会议。诉讼程序。 (英语) Zbl 1396.68021号

计算机科学课堂讲稿11123.查姆:施普林格(ISBN 978-3-030-00249-7/pbk;978-3-0030-00250-3/电子书)。xxi,161页。(2018).

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

本卷的文章将单独进行审查。有关前面的研讨会,请参阅[Zbl 1371.68009号].
索引文章:
亚历山大·迪特·桑德雷托(Alexandre dit Sandretto),朱利安(Julien);万健,使用基于多面体的验证龙格-库塔的非线性常微分方程的可达性分析,1-14[Zbl 1522.65119号]
Day,Joel D。;维杰·加内什;他,保罗;Manea,Florin;德克·诺沃特卡,单词方程的可满足性:可判定和不可判定理论,15-29[Zbl 1515.68256号]
史蒂文·德·奥利维拉(Steven de Oliveira);维吉尔·普雷沃斯托;彼得·哈贝梅尔(Peter Habermehl);萨德克·本萨勒姆,左旋是轨道问题的证明,30-44[Zbl 1515.68177号]
马修·黑格;文森特·佩内尔,约束动态树网络,45-58[Zbl 1515.68207号]
彼得·扬查尔;彼得·奥西卡;Zdeněk萨瓦,EXPSPACE-倒计时游戏的完整变体,在简洁的单计数器网络上进行模拟,59-74[Zbl 1515.68208号]
阿列克谢·利西萨,重温MU难题:有限反模型验证案例研究,75-86[Zbl 1515.68156号]
马库斯·洛伊,双曲线群中的背包,87-102[Zbl 1515.68153号]
Neary,Turlough;马修·库克,通用标签系统,103-116[Zbl 1515.68157号]
爱荷华州博内娃;约阿希姆·尼伦;莫马尔·萨霍,压缩字符串模式的特定查询应答:从流到超流,117-132[Zbl 1515.68385号]
Micha Skrzypczak,Büchi VASS识别\(\mathbf{\Sigma}^{1}_{1} \)-完整\({\omega}\)-语言,133-145[Zbl 1475.68214号]
杰里米·斯普洛斯顿,开区间马尔可夫链的定性可达性,146-160[兹比尔1515.68187]

MSC公司:

68-06 与计算机科学有关的会议记录、会议、收藏等
68季度xx 计算理论
00B25型 杂项特定利益的会议记录
PDF格式BibTeX公司 XML格式引用
全文: 内政部