《理论计算机科学》第35卷
1985年第35卷
克劳斯·约恩·兰格 , 埃莫·韦尔兹尔 以下为:
T0L系统中的循环词和同步增长。 1-15 雅克·斯特恩 以下为:
某些类别常规事件的特征。 17-42 史蒂芬·L·布鲁姆 , 道格拉斯·特罗格 以下为:
观察等价性的逻辑表征。 43-53 赫伯特·埃德尔斯布伦纳 以下为:
求简单几何图形集的横截面。 55-69 Yves Métiver公司 以下为:
自由之门的朗格标准计算。 71-87 克里斯托夫·本诺特 以下为:
测试公理化。 89-107 迪帕克·卡普尔 , Mukkai S.Krishnamoorthy公司 , 罗伯特·麦克诺顿 , 巴利亚特·纳伦德兰 以下为:
测试Thue系统Church-Rosser性质的O(|T|3)算法。 109-114 Jean-Pierre Pécuchet女士 以下为:
自动执行Boutropaédon et Mots Infinis。 115-122 劳伦特·弗里堡 以下为:
一个面向叠加的定理证明器。 129-164 乔治奥·奥斯耶罗 , 亚历山德罗·达特里 , 玛丽娜·莫斯卡里尼 以下为:
关于数据库方案中非循环视图的存在性。 165-177 罗伯特·科里 , Yves Métiver公司 以下为:
部分阿贝尔幺半群的可识别子集。 179-189 热拉尔·梅米 , 阿兰·芬克尔 以下为:
Fifo网简介——单生成网:Fifo网络的一个子类。 191-214 小林小二郎 以下为:
关于函数的时间可构性的证明。 215-225 巴利亚特·纳伦德兰 , 弗里德里希·奥托 以下为:
单体共轭问题的复杂性结果。 227-243 大卫·A·普莱斯特 以下为:
缓慢使用的Oracle的完全可除性问题。 245-260 Sadaki Hirose先生 , 佐藤大川 , Masaaki Yoneda公司 以下为:
递归可枚举语言的同态特征。 261-269 Jean-Eric别针 , 雅克·萨卡罗维奇 以下为:
Une Application de la Representation Matricielle des Transductions公司。 271-293年 汤姆·黑德 , 约翰·威尔金森 以下为:
D0L系统的码性质和同态。 295-312 恩斯特·莱斯(Ernst L.Leis) 以下为:
关于可追踪的无限制正则表达式类。 313-327 Michio Oyamaguchi小山口 以下为:
关于代数规格说明的数据类型扩展问题。 329-336 迪帕克·卡普尔 , 巴利亚特·纳伦德兰 以下为:
具有可判定词问题且不具有等价有限规范系统的有限Thue系统。 337-344 伊尔迪克·塞恩 以下为:
弗洛伊德方法完备性的简单证明。 345-348