计算系统理论,第51卷
第51卷第1期,2012年7月
阿诺德·贝克曼 , 沃尔夫冈·默克尔 , Benedikt Löwe公司 :
2009年欧洲的可计算性。 1-3 让·卡迪纳尔 , 塞缪尔·菲奥里尼 , 格温娜·乔雷特 :
最小熵组合优化问题。 4-21 约翰·凯斯 , 塞缪尔·莫利乌斯 :
建构斯科特子域中的程序自我参考。 22-49 斯特凡·丹切夫 , 巴纳比·马丁 :
切割平面和参数切割宽度。 50-64 托比亚斯·加特纳 , Günter Hotz公司 :
解析机的表示定理和解析函数的可计算性。 65-84 拉尔斯·克里斯蒂安森 , Bedeho Mesghina Wolde Mender公司 :
哥德尔系统T中的非确定性。 85-105 克劳斯·安布罗斯·斯皮斯 , 帖木儿·巴基巴耶夫 :
比较E和EXP的非平凡性。 106-122
第51卷第2期,2012年8月
珍妮·伊夫·马里恩 , 托马斯·施文蒂克 :
计算机科学的理论方面。 123-124 阿德里安·杜米特里斯库 , 江明辉 :
磁盘中的分散。 125-142 拉兹洛·埃格里 , 安德烈·克罗钦 , 贝诺·拉罗泽 , 帕斯卡·泰森 :
图的列表同态问题的复杂性。 143-178 爱德华·赫施 , 德米特里·伊特塞克森 , 伊万·莫纳霍夫 , 亚历山大·斯马尔 :
关于最优启发式随机半决策过程,及其在证明复杂性和密码学中的应用。 179-195 阿图尔·杰兹 , 亚历山大·奥霍廷 :
用整数集上的方程表示超算术集。 196-228 兰斯·福特诺 , 杰克·H·卢茨 , 埃尔维拉·马约多莫 :
不相交NP对的不可分割性和强假设。 229-247 顾晓阳 , 约翰·希区柯克 , 阿杜里·帕凡 :
平均情况和最坏情况假设下完备性概念的折叠和分离。 248-265
第51卷第3期,2012年10月
费尔南多·费雷拉 , Benedikt Löwe公司 , 埃尔维拉·马约多莫 :
程序、证明、流程。 267-269 纪尧姆百叶窗 , 罗密奥·里兹 , Stéphane Vialette酒店 :
一种寻找最小Tucker子矩阵的快速算法。 270-281 埃里克·阿伦德 , 霍尔格·斯帕科夫斯基 :
避免简单是复杂的。 282-296 拉胡尔·桑塔纳姆 :
显式结构的复杂性。 297-312 乌尔里希·伯杰 , 莫妮卡·塞森伯格 :
证明、程序、流程。 313-329 劳伦特·宾文努(Laurent Bienvenu) , 弗兰克·斯蒂芬 , 杰森·特施 :
整值鞅有多强大? 330-351 道格拉斯·森泽 , S.Ali Dashti , 费里特·托斯卡 , 塞巴斯蒂安·怀曼 :
一维可数子移位的可计算性。 352-371 杰克·H·卢茨 , Brad百叶窗 :
Sierpinski三角形的近似自组装。 372-400
第51卷第4期,2012年11月
马科斯·阿奎莱拉 , 余海峰 :
分布式计算专题。 401-403 丹·阿利斯塔 , 塞斯·吉尔伯特 , 拉希德·格雷劳伊 , 科伦蒂·特拉弗斯 :
生成快速纵容算法。 404-424 哈吉特·阿提亚 , 埃什卡尔·希勒尔 :
多版本许可的单版本STM。 425-446 文卡特桑·查卡拉瓦尔西 , 阿纳米特拉·乔杜里 , 维杰·K·加格 , Yogish Sabharwal瑜伽 :
分布式触发器计数问题的高效分散算法。 447-473 巴拉·卡利亚纳桑达拉姆 , 马赫·维拉萨皮莱 :
有界度无线传感器网络中的一种近似最优周期传输调度。 474-491