西蒙娜·隆奇·德拉·罗卡（编辑） 前言。 （英语） Zbl 1335.00163号 Inf.计算。 248, 1 (2016). 正文：本特刊收集了2013年3月在罗马举行的DICE（隐式计算复杂性的发展）研讨会第四版的精选文章（作为欧洲软件理论与实践联合会议ETAPS的卫星活动）。隐式计算复杂性（ICC）领域是从几个使用逻辑和形式方法为复杂度限定计算提供语言的提案中发展出来的。它旨在研究计算复杂性，而不参考外部测量条件或特定的机器模型，而只考虑语言限制或隐含复杂性属性的逻辑/计算原则。DICE研讨会侧重于与程序相关的ICC方法，而非描述性方法。在这种方法中，可以将复杂性类与编程范式（函数式程序、lambda演算、重写系统）的限制联系起来。本期包含九条条款，代表了国际刑事法院的不同做法。 MSC公司： 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式引用 \textit{S.Ronchi Della Rocca}（编辑），《信息与计算》。2481（2016年；Zbl 1335.00163） 全文： 内政部