国际计算机科学基础杂志,第1卷
第1卷第1期,1990年3月
克莱尔·凯尼恩 , 姚期智 :
关于用不可靠测试评估布尔函数。 1-10 艾哈迈德·索乌迪 , 大卫·E·穆勒 , 保罗·舒普 :
关于omega树集的复杂性和Nerode定理。 11-22 V.S.Subrahmanian公司 :
逻辑程序设计的环形理论基础。 23-48 马雷克·苏切内克 :
Lyndon同态定理在极小模型理论中的应用。 49-60 W.-D.魏 :
关于人员分配问题。 61-70 佛朗哥·P·普雷斯塔 :
重新审视平面点位置(复习论文)。 71-86
第1卷第2期,1990年6月
伊曼纽拉·法希尼 , 乔泽夫·格鲁斯卡 , 安德里亚·马焦洛·谢蒂尼 , 戴维德·桑吉奥吉 :
基于格子自动机的收缩树自动机仿真。 87-110 乔治奥·奥斯耶罗 , 马尔科·普罗塔西 :
复杂度类的极限多项式逼近。 111-122 塞尔吉奥·德·阿戈斯蒂诺 , 罗塞拉·彼得雷奇 :
具有受限邻域的图的并行识别算法。 123-130 李克勤 , Kam-Hoi Cheng公司 :
二维和三维广义First-Fit算法。 131-150 罗伯托·巴布蒂 , 毛里齐奥·马泰利 :
识别无浪费的逻辑程序和目标。 151-164
第1卷第3期,1990年9月
弗兰科·巴巴内拉 :
结合术语重写和类型分配系统。 165-184 丹尼尔·波维 , 米里亚姆·迪安尼 , Pierluigi Crescenzi公司 :
动态路由情况下的死锁预测。 185-200 达尼洛·布鲁西 , 黛博拉·约瑟夫 , 保罗·杨 :
RP上布尔层次的强分离。 201-218 亚历山德拉·切鲁比尼 , 克劳迪奥·西里尼 , 斯特凡诺·克雷斯皮·雷吉齐 , 迪诺·曼德里奥利 :
呼吸和深度语法和Deque Automata。 219-232 斯蒂芬妮娅·科斯坦蒂尼 :
元编程语言的语义。 233-248 莫雷诺·法拉斯基 , 毛里齐奥·加布里埃利 , 乔治·列维 , 村上正树 :
嵌套护角条款。 249-264 马西米利亚诺·戈德沃尔姆 :
跟踪语言问题算法分析中的一些极限分布。 265-276 罗伯托·戈里埃里 , 乌戈·蒙塔纳里 :
走向系统的层次描述:强前缀的证明系统。 277-294 埃里希·格拉德尔 :
关于线性时间可计算性的概念。 295-308 菲利波偏头痛 :
斯图尔语词汇和模糊的上下文无关语言。 309-324 阿道夫·皮佩诺 , 恩里科·特隆西 :
lambda微积分中的正则系统。 325-340 朱塞佩·罗索里尼 :
关于适度集。 341-354
第1卷第4期,1990年12月
罗伯特·麦克诺顿 :
1956年以来形式语言理论的发展(综述论文)。 355-368 威廉·M·法默 , 罗纳德·瓦特罗 :
术语图重写中的赎回捕获。 369-386 休伯特·科蒙 :
解决符号排序约束。 387-412 曼弗雷德·德罗斯特 , 吕迪格·哥贝尔 :
通用信息系统。 413-424 Jyrki Katajainen公司 , 埃尔基·梅基宁 :
树压缩和应用程序优化。 425-448 A.P.Korah公司 , M.R.凯末尔 :
动态最优二进制搜索树。 449-464 V.S.Subrahmanian公司 :
勘误表:逻辑编程的环形理论基础。 465-