《理论计算机科学》第416卷
第416卷,2012年1月
弗拉维奥·达莱桑德罗 , 贝内代托·因特里吉拉 , 斯特凡诺·瓦里奇奥 :
拟多项式、线性丢番图方程和半线性集。 1-16 佐尔坦·埃西克 , 萨博尔斯·伊凡 :
论缪勒无语境语法。 17-32 斯万特·简森 :
尝试和字符串分析中的更新理论。 33-54 罗希特·坎德卡尔 , 盖伊·科茨(Guy Kortsarz) , 泽夫·纳托夫 :
近似容错组-服务器问题。 55-64 姜旭孔 , 王伟凡 , 朱旭鼎 :
平面图的存活率。 65-70 亚历山大·奥霍廷 , 奥克萨娜·亚基莫娃 :
具有互补性的语言方程式:表达能力。 71-86 马库斯·波吉 , 大卫·索特洛 :
置换流水车间调度的线性时间近似算法。 87-94
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)