《理论计算机科学》第807卷
第807卷，2020年2月
乔治奥·奥斯耶罗 , 莉拉·卡里 , 格列泽戈兹·罗森伯格 , 唐纳德·桑内拉 
, 保罗·G·斯皮拉基斯 , 皮埃尔·路易斯·居里 :
前言。 1-2 萨姆森·阿布拉姆斯基 :
语义在哪里？ 3-14 拉杰夫·阿鲁尔 , 达娜·菲斯曼 , 康斯坦蒂诺斯·马穆拉斯 , 穆昆德·拉戈塔曼 , 卡勒布·斯坦福 :
可流式常规转导。 15-41 盖伊·阿夫尼 , 托马斯·汉津格 , 奥尔娜·库普夫曼 :
动态资源分配游戏。 42-55 阿莫茨·巴诺伊 , 大卫·佩莱 , 德罗·拉维茨 :
图的顶点加权实现。 56-72 安德烈亚斯·布拉斯 , 尤里·古雷维奇 :
编织分布性。 73-94 罗伯托·布鲁尼 , 埃尔南·梅尔格拉蒂 , 乌戈·蒙塔纳里 :
Petri网的贝叶斯网络语义。 95-113 克里斯蒂安·卡鲁德 , 桑杰·贾恩 , 沃尔夫冈·默克尔 , 弗兰克·斯蒂芬 :
搜索最短和最少的程序。 114-127 伊利亚·卡斯特拉尼 , Mariangiola Dezani-Ciancaglini公司 , 保拉·贾尼尼 , 罗斯·霍恩 :
具有内部委托的全局类型。 128-153 阿德里安·杜里埃 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
关于高阶过程的“最新”推理。 154-168 托马斯·埃尔哈德 , 让·克里文 , 盈江 :
分支过程的微积分。 169-184 卢卡斯·乔治亚迪斯 , 朱塞佩·F·意大利 , 艾卡捷琳尼·卡拉纳西奥 :
有向图的最小2-点连通生成子图的逼近。 185-200 岩岛和雄 , 村上俊一 :
改进了基于比较的排序的平均复杂性。 201-219 德克斯特·科赞 , 亚历山德拉·席尔瓦 :
左手完整性。 220-233 皮埃尔·利昂 , 卡桑·萨马拉辛格 , 何塞·D·P·罗利姆 :
每一幅施奈德的画都是贪婪的嵌入。 234-244 卡尔帕纳·马哈林根 , 帕拉克·潘多 , 卡马拉·克里蒂瓦桑 :
关于二维单词中最少数量的回文。 245-256 尤里·马蒂亚塞维奇 :
计算机科学中的黎曼假设。 257-265 马里奥斯·马夫罗尼科拉斯 , 博克哈德·莫尼恩 :
条件价值与风险：均衡的结构和复杂性。 266-283 迈克尔·米斯洛夫 :
域和随机过程。 284-297 吴敏（音） , 马修·威克 , 阮文杰 , 黄晓伟 , 玛尔塔·奎亚特科夫斯卡 :
具有可证明保证的深度神经网络的基于游戏的近似验证。 298-329 方瑜 , 邱道文 , 王晓明 , 秦丽 , 李绿洲 , 乔泽夫·格鲁斯卡 :
几种具有O（log N）通信复杂性的基本量子私有查询协议的安全改进。 330-340
