《理论计算机科学》第429卷
第429卷，2012年4月
乔治奥·奥斯耶罗 , 亨德里克·扬·胡格布姆 , Juhani Karhumäki公司 , 离子皮特 
, 阿尔托·萨洛马 :
前言。 1-20
莫里斯·特尔·比克 , 克莱因码头 :
向量团队自动机。 21-29 汉斯·博德兰德 , 侏罗纪黑格 :
在交换类上，NLC-width、cliquewidth和treewidth。 30-35 保拉·博尼佐尼 , 吉安卢卡·德尔拉·维多瓦 , 里卡多·唐迪 :
具有固定数量簇的最小一致性簇的随机PTAS。 36-45 罗伯特·布里德 , 乔里斯·吉利斯（Joris J.M.Gillis） , 简·范登·巴斯彻（Jan Van den Bussche） :
图形-理论DNA杂交模型的比较。 46-53 马克·戴利 , 赫尔穆特·于尔根森 , 莉拉·卡里 , 卡尔帕纳·马哈林根 :
相关代码。 54-64 沃尔克·迪克特 , 斯特芬·科佩基 :
发夹结构的语言理论性质。 65-73 皮尔路易吉·弗里斯科 , 戈登·戈万 , 阿尔贝托·莱波拉蒂 :
带有活性膜的异步P系统。 74-86 卡斯滕·加布里埃尔 , 哈特穆特·埃里格 :
基于高级网络和流程的转换，对通信平台和场景的演变进行建模。 87-97 袁高 , 莉拉·卡里 , 盛宇（Sheng Yu） :
k正则语言上星的并集和交集的状态复杂性。 98-107 丹妮拉·热那娃 , 娜塔莎·乔诺斯卡 :
禁止和强制使用图形。 108-117 哈雷尔 , 阿米尔·坎特 :
重温多模式场景：基于网络的表示。 118-127 Tero Harju公司 :
通过排列从前缀中获得的无方块单词。 128-133 米卡·希尔文萨洛 :
关于概率和量子反应系统。 134-143 Jun Hosoda先生 , 尤拉吉·赫龙科维奇（Juraj Hromkovic） , 岩井大辅 , 小野弘太郎 , 莫妮卡·斯坦诺娃 , Koichi Wada公司 :
关于最小主题连通覆盖及其特殊情况的逼近性和难易性。 144-154 奥斯卡·H·伊巴拉 , 徐春燕 :
关于双向换能器的包容和等效问题。 155-163 伊藤正美 :
自动机的代数结构。 164-168 库尔特·延森 , 拉尔斯·迈克尔·克里斯滕森 , 托马斯·梅隆德 :
扫线状态空间探索方法。 169-179 贾科·卡里 :
用细胞自动机生成通用模式。 180-184 克莱因码头 , 库特尼 :
具有a/sync通信的系统中的位置。 185-192 汉斯·约格·克鲁斯基 , 萨宾·库斯克 :
多项式图的可变换性。 193-201 Jan van Leeuwen女士 , 吉尔·维德曼 :
计算是一个无界过程。 202-212 卢卡·曼佐尼 , 莱昂纳多·范内斯基 , 吉安卡洛·毛里 :
遗传算法中单点交叉种群之间的距离。 213-221 赫尔曼·A·莫勒 :
多参数宇宙的线性排序通常是无意义的。 222-226 安东尼·马祖尔基维奇 :
重新访问Petri网语言。 227-235 莫根斯·尼尔森 , 卡尔·克鲁科夫 :
基于事件的声誉系统中的信任转移。 236-246 大久保文弥 , 小林佐治 , 横本隆 :
反应自动机。 247-257 Gheorghe Paun公司 , 马里奥·佩雷斯-吉梅内斯 :
连接两个细胞创新模型：P系统和R系统。 258-264 多米尼克·佩林 , 安东尼奥·雷斯蒂沃 :
关于斯图尔语单词的注释。 265-272 小雪飘 , 凯·萨洛马 :
正则树语言串联的状态复杂性。 273-281 安东尼奥·雷斯蒂沃 , 罗伯托·瓦格利卡 :
自动机极小性的图论方法。 282-291 P.S.Thiagarajan先生 , 杨绍发 :
分布式混合自动机的模块离散时间近似。 292-304
