EATCS公报,第27卷
第27卷,1985年10月
Michal P.Chytil公司 , 马丁·普拉特克 , 约格·沃格尔 :
关于乔姆斯基层次结构的注释。 牛市。 EATCS公司 27 : 23-29 ( 1985 ) 卡雷尔·库利克二世 , 朱哈尼·卡胡马基 :
借助埃伦菲希特猜想解决了决策问题。 牛市。 EATCS公司 27 : 30-34 ( 1985 ) Rusins Freivalds公司 :
枚举函数的递归性增加了递归可枚举集的可推断性。 牛市。 原子吸收光谱 27 : 35-39 ( 1985 ) 哈特马尼斯 :
相对化冲突的可解决问题。 牛市。 EATCS公司 27 : 40-48 ( 1985 ) Jean-Pierre Jouannaud女士 , 伊曼纽尔·库纳利斯 :
在没有构造器的方程式理论中通过归纳法证明。 牛市。 EATCS公司 27 : 49-55 ( 1985 ) 爱德华·奥赫曼斯基 :
并发系统的常规行为。 牛市。 EATCS公司 27 : 56-67 ( 1985 ) 多米尼克·佩林 :
关于Ehrenfeucht猜想的解。 牛市。 EATCS公司 27 : 68-70 ( 1985 ) 阿尔托·萨洛马 :
Ehrenfeucht猜想:语言理论家的证明。 牛市。 EATCS公司 27 : 71-82 ( 1985 )