×

用于构建和分析系统的工具和算法。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。 (英语) Zbl 1471.68010号

计算机科学课堂讲稿12079.查姆:施普林格(ISBN 978-3-030-45236-0/pbk;978-3-0030-45237-7/电子书)。第二十三章,第425页。(2020).

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

对数学感兴趣的文章将单独复习。有关上一次会议,请参阅[Zbl 1408.68025号;兹比尔1408.68024;Zbl 1408.68008号]. 本次会议议事录第一部分见[Zbl 1496.68011号].
索引文章:
Jansen,David N。;Groote,Jan Friso;Jeroen J.A.Keiren。;安东·威伊斯,标记转移系统上分支双相似性的(O(m\log n)算法,3-20[Zbl 1483.68232号]
秦旭东;邓玉新;杜文杰,使用地面互模拟验证量子通信协议,21-38[Zbl 1473.68115号]
阿尔梅达,贝尔纳多;安德烈亚·莫迪多;Vasco T.瓦康塞洛斯。,决定无上下文会话类型的相似性,39-56[Zbl 1483.68219号]
弗雷德里克·朗;Radu Mateescu;弗朗科·马扎蒂,尖锐的同余足以结合弱模态和强模态的时序逻辑,57-76[Zbl 1483.68233号]
米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。;马蒂亚斯·莱切纳量化神经网络需要多少位?,79年至97年[Zbl 1483.68192号]
弗里克·韦贝克;Joshua A.Bockenek。;比诺伊·拉文德兰,汇编代码内存使用的高度自动化形式化证明,98-117[Zbl 1483.68211号]
乌芒·马图尔;Madhusudan,P。;马赫什·维斯瓦纳坦程序验证模公理的决定因素是什么?,158-177年[Zbl 1483.68200号]
亚历山大·洛赫曼;阿尔特·米德尔多普,一阶重写理论中无限和正规形式谓词的形式化证明,178-194[Zbl 1483.68149号]
小林,直纪;格里戈里·费迪尤科维奇;阿尔蒂·古普塔,固定点逻辑的折叠/展开转换,195-214[兹比尔1483.68196]
马西莫·贝内雷切蒂;丹尼尔·德尔巴;法比奥·莫加维罗,通过准自治权解决平均支付游戏,289-306[Zbl 1484.91004号]
托马斯·内勒;Tim A.C.Willemse。;威格·威瑟林克,奇偶对策的部分阶约简及其在参数化布尔方程系统上的应用,307-324[Zbl 1483.68201号]
达纳州安格鲁因;费斯曼,达纳;雅拉·绍瓦尔,(ω)-自动机的多项式识别,325-343[Zbl 1483.68153号]

MSC公司:

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