《理论计算机科学》第330卷
第330卷第1期,2005年1月
Juhani Karhumäki公司 , 格列泽戈兹·罗森伯格 :
前言:深刻的理论。 1 迪米特里·S·阿纳尼切夫 , 米哈伊尔·沃尔科夫 :
同步广义单调自动机。 3-13 霍尔格·奥斯汀 , 沃尔克·迪克特 , 乌尔里希·赫特拉姆夫 , 霍尔格·彼得森 :
常规频率计算。 15-21 塞扎尔·坎帕努 , 尼古拉·桑提恩 , 盛宇(Sheng Yu) :
大型NFA中的可合并状态。 23-34 阿图罗·卡皮 , 阿尔多·德卢卡 :
语言测量中的补全和相关的组合问题。 35-57 哲当 , 奥斯卡·H·伊巴拉 , 孙志伟 :
关于具有一个可逆有界计数器的双向不确定有限自动机。 59-79 存生丁 , 王雪松 :
一种新的系统认证码的编码理论构造。 81-99 鲁道夫·弗伦德 , Gheorghe Paun公司 , 马里奥·佩雷斯-吉梅内斯 :
具有通道状态的组织P系统。 101-116 Tero Harju公司 , 德克·诺沃特卡 :
关于自由半群中的方程。 117-121 朱哈·本卡拉 :
具有D0L增长的HD0L系统的语言等价问题。 123-133 尤拉杰·赫罗姆科维奇 , 乔治·施尼特 :
随机多计数器的威力。 135-144 尤里·马蒂亚塞维奇 , 盖劳德·塞尼泽格斯 :
具有一些规则的半周四系统的决策问题。 145-169 凯霍·鲁霍宁 :
自由幺半群和元贝拉群中迭代态射的显式测试集。 171-191
第330卷第2期,2005年2月
亨宁·博迪恩 :
关于协作分布式语法系统中组件的数量。 195-204 胡安·卡斯特拉诺斯 , 彼得·卢波尔德 , 维克托·米特拉纳 :
进化处理器混合网络的规模复杂性。 205-220 Jean-Marc Champarnaud女士 , 托马斯·帕兰托恩 :
DFA的随机生成。 221-235 马克·戴利 , 伊恩·麦克奎伦 :
模板引导的DNA重组。 237-250 鲁道夫·弗伦德 , 莉拉·卡里 , 玛丽恩·奥斯瓦尔德 , 彼得·索西克 :
没有优先级的计算通用P系统:两个催化剂就足够了。 251-266 马库斯·霍尔泽 , 马丁·库特里布 :
关于修改接受条件的有限自动机的描述复杂性。 267-285 加琳娜·吉尔拉斯科娃 :
二进制正则语言上某些操作的状态复杂性。 287-298 马丁·卡普斯 , 弗兰克·尼纳 :
DFA以不同的可靠性水平简洁地表示语言。 299-310 马丁·库特里布 :
关于头部、计数器和鹅卵石的描述性力量。 311-324 安德烈亚斯·马尔彻 :
在细胞自动机中与固定数量的细胞进行双向通信。 325-338 莫里斯·马根斯坦 , Gheorghe Paun公司 , 尤里·罗杰欣 , 谢尔盖·弗兰 :
无上下文插入删除系统。 339-348 菲利波·梅拉 , 乔瓦尼·皮奇奇尼 :
补充一元非确定性自动机。 349-360 吉尔吉斯·瓦西尔 :
关于受上下文条件调节的某些重写机制的描述复杂性。 361-373
第330卷第3期,2005年2月
弗拉维奥·科拉迪尼 , 乌韦·内斯特曼 :
编辑:第十届并发表达能力国际研讨会论文集(EXPRESS 2003)。 375-376 卢卡·埃特罗 , 万·J·福克金 , 安娜·英格尔斯多蒂尔 , 巴斯·卢提克 :
CCS与轩尼诗的合并没有有限等式公理化。 377-405 克里斯蒂·博尔顿 , 加文·洛 :
基于失效模型的层次结构:理论与应用。 407-438 阿诺焦油醇 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
关于麦卡锡大使在Pi-calculus中的表现。 439-473 埃蒂安·洛兹 :
静态空间逻辑中空间连接词的消除。 475-499 塞尔吉奥·马菲斯 , 伊恩·菲利普斯 :
关于纯环境结石的计算强度。 501-551 理查·马 :
无上下文过程的弱双相似性和正则性是EXPTIME-hard。 553-575 弗兰克·D·瓦伦西亚 :
无限状态定时CCP过程和一阶LTL的可判定性。 577-607