《理论计算机科学》第61卷
1988年第61卷
杰弗里·沙利特 以下为:
自动序列的推广。 1-16 帕尔·多莫西 , 佐尔坦·埃西克 以下为:
alpha_0-Product的关键类。 17-24 伊凡·梅兹尼克 以下为:
关于无限正则语言的一个子类。 25-32 新河 以下为:
平面图中构造最大独立集的近似最优并行算法。 33-47 卡尔·约翰·H·赛格 , 贾努斯·布尔佐夫斯基 以下为:
门种族的乐观三值模拟。 49-66 P.M.范登·布鲁克 以下为:
两种图形重写系统的比较。 67-81 萨蒂什·R·塔特 以下为:
使用构造函数系统实现一阶重写。 83-92 罗伯特·科里 , 埃里克·索佩纳 , 米歇尔·拉特奥 , 伊夫·罗斯 以下为:
2-异步自动机。 93-102 罗纳德·V·书 , 丁祖渡 以下为:
广义复杂性核的结构。 103-119 埃利亚斯·达尔豪斯 , 马雷克·卡宾斯基 以下为:
稠密图上完美匹配与哈密顿圈的并行构造。 121-136 森宫哲雄 , 山崎秀树 以下为:
欧米茄语言自动机的接受条件。 137-147 K.N.金 以下为:
交替多头有限自动机。 149-174 朱塞佩·迪·巴蒂斯塔 , 罗伯托·塔马西娅 以下为:
非循环有向图的平面表示算法。 175-198 杰伊·吉舍尔 以下为:
Pomsets的等式理论。 199-224 沃纳·阿莱西 以下为:
通过形式证明分析提取和验证程序。 225-258 乔治·加戈夫 , 所罗门·帕西 以下为:
组合PDL中的决定论和循环。 259-277年 路德维希·斯泰格 以下为:
Ein Satzüber die Entropie von Untermonoiden(关于子类熵的一个定理)。 279-282 托马斯·克雷奇默 以下为:
正则语言的闭包属性。 283-287 安德烈·阿诺德 以下为:
固定点的逻辑定义。 289-297 爱德华·贝拉加 以下为:
双线性Mincing排名。 299-306 尼姆罗德·梅吉多 , 乌兹·维什金 以下为:
关于在比赛中找到一个最小支配集。 307-316 理查德·肯纳韦 以下为:
关于“关于图形重写”(勘误表)。 317-320