《理论计算机科学》第110卷
1993年第1期第110卷
乔斯特·恩格弗里特 , 亨德里克·扬·胡格布姆 :
欧米伽单词上的X-Automata。 1-51 埃里克·戈尔斯(Eric Goles Ch.)。 , 亚历杭德罗·马斯 , 服务马丁内斯A。 :
关于一类通用元胞自动机的极限集。 53-78 韦恩·布利扎德 :
Dedekind多重集合和函数外壳。 79-98 波阿斯·帕特·沙米尔 , 大卫·佩莱 :
集合操作的时空权衡。 99-129 Rusins Freivalds公司 , Efim B.Kinber公司 , 罗尔夫·维哈根 :
从好的例子看归纳推理的力量。 131-144 安内格丽特·哈贝尔 , 汉斯·约格·克鲁斯基 , 克莱门斯·劳特曼 :
兼容、有限和归纳图形属性的比较。 145-168 乌里·兹威克 , 迈克·帕特森 :
记忆游戏。 169-196 阿维埃兹里·弗伦克尔 , 谢·西蒙森 :
地理。 197-214 汉斯·博德兰德 :
路径形成游戏的复杂性。 215-245
1993年第2期第110卷
让·盖利尔 :
构造逻辑第一部分:关于证明系统和类型伽玛-演算的教程。 249-339 Bernadette Charron-Bost公司 :
分布式执行的耦合系数。 341-376 迈克尔·J·马赫 :
具有完美模型语义的演绎数据库模块转换系统。 377-403 托马斯·福斯特 :
伽玛微积分的良型公式的语义表征。 405-418 M.斯普伦格 , M.Wymann-Böni先生 :
如何决定百灵鸟。 419-432