×

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

计算机科学讲义12079.查姆:斯普林格(ISBN 978-3-030-45236-0/pbk;978-3-030-45237-7/电子书)。二十三,425页。(2020年)。

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

对数学感兴趣的文章将单独复习。上一次会议见[Zbl 1408.68025;Zbl 1408.68024号;Zbl 1408.68008]. 本会议议事录第一部分见[Zbl 1496.68011].
索引文章:
詹森,大卫·N。;格罗特,简·弗里索;凯伦,杰伦·J·A。;巫师,安东,标记跃迁系统上分枝双相似性的\(O(m\logn)\)算法,3-20[Zbl 1483.68232]
秦旭东;邓玉欣;杜文杰,用地面互模拟验证量子通信协议,21-38[Zbl 1473.68115号]
阿尔梅达,贝尔纳多;莫迪多,安德里亚;瓦康塞洛斯,瓦斯科T。,决定上下文无关会话类型的双相似性,39-56[Zbl 1483.68219]
朗,弗里德里克;马泰斯库,拉杜;马赞提,佛朗哥,强模态与弱模态相结合的时间逻辑的充分一致,57-76[Zbl 1483.68233]
贾科布,米尔科;亨辛格,托马斯A。;莱克纳,马蒂亚斯,量化你的神经网络需要多少比特?,79-97年[Zbl 1483.68192号]
韦贝克,弗里克;博基内克,约书亚A。;拉文德兰,比诺,汇编代码内存使用的高度自动化形式证明,98-117[Zbl 1483.68211]
马图尔,乌曼;马杜苏丹,P。;维斯瓦纳坦,马赫什程序验证模公理的可判定性是什么?,158-177年[Zbl 1483.68200元]
亚历山大·洛赫曼;米德尔多普,Aart,一阶重写理论中无穷和规范形式谓词的形式化证明,178-194[Zbl 1483.68149]
小林,直木;费德约科维奇,格里戈里;古普塔,奥尔蒂,不动点逻辑的折叠/展开变换,195-214[Zbl 1483.68196]
贝内雷凯蒂,马西莫;戴尔尔巴,丹尼尔;莫加韦罗,法比奥,通过拟自治领求解平均收益博弈,289-306[Zbl 1484.91004号]
尼尔,托马斯;威廉,蒂姆·A·C。;韦斯林克,威格,宇称对策的偏序约化及其在参数化布尔方程组上的应用,307-324[Zbl 1483.68201号]
安格鲁因,达娜;菲斯曼,达娜;肖瓦尔,雅拉,欧米茄自动机的多项式辨识,325-343[Zbl 1483.68153]

理学硕士:

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