马可·加博阿迪(编辑);乌尔里希·舍普(编辑) 特刊:《隐式计算复杂性的发展》,2014年和2015年。 (英语) Zbl 1398.00096号 Inf.计算。 261,第1部分,1-2(2018). 正文:在本期特刊最后编辑之时,我们得知DICE研讨会的创始人之一、指导委员会成员马丁·霍夫曼教授突然不幸失踪。我们将这期特刊献给他。本期特刊根据对“内隐计算复杂性的发展”(DICE)国际研讨会第五版和第六版的贡献发表论文。第五版于2014年4月5-6日在法国格勒诺布尔举行,第六版于2015年4月18日在英国伦敦举行。这两个版本都是欧洲软件理论与实践联合会议(ETAPS)的一部分。 MSC公司: 00B25型 杂项特定利益的会议记录 68-03 计算机科学史 68-06 与计算机科学有关的会议记录、会议、收藏等 01A70号 传记、讣告、个人信息、参考书目 传记参考: 马丁·霍夫曼 PDF格式BibTeX公司 XML格式引用 \textit{M.Gaboardi}(编辑)和\textit{U.Schöpp}(主编),Inf.Compute。261,第1部分,1--2(2018;Zbl 1398.00096) 全文: 内政部