中国科学院数学与系统科学研究院期刊网
离线非确定图灵机的一个巡迴——空间对偶定理
李廉
数学学报 . 1987, (2): 258 -263 .  DOI: 10.12386/A1987sxxb0028