《理论计算机科学》第585卷
第585卷,2015年6月
马丁·阿文齐尼 , 内河一口(Naohi Eguchi) , 乔治·莫瑟 :
多时间可计算函数的一种新的序理论表征。 3-24 纪尧姆·邦芬特 , 弗洛里安·德洛普 , 安托万·亨罗 :
实数或自然数的解释及其对复杂性的影响。 25-40 雨果·弗雷 , 艾曼纽尔·海因里 , 马蒂厄·霍伊鲁普 , 罗曼·佩乔 :
使用解释表征流程序的多项式时间复杂性。 41-54 阿洛伊斯·布鲁内尔 , 马可·加博阿迪 :
线性相关PCF的可实现性模型。 55-70 邓玉欣 , 于章 :
线性环境中的程序等价性。 71-90 埃尔维拉·阿尔伯特 , 杰苏斯·科雷斯·费尔南德斯 , 杰曼·普埃布拉 , 吉列尔莫·罗曼·迪兹 :
多域增量分析引擎及其在增量资源分析中的应用。 91-114 塞巴斯蒂安·埃伯哈特 :
对数复杂性类的应用理论。 115-135