国际计算机科学基础杂志,第2卷
第2卷第1期,1991年3月
马丁·阿巴迪 , 本杰明·皮尔斯 , 戈登·普洛金 :
递归多态类型的忠实理想模型。 1-21 托马斯·威尔姆斯 :
功能生成系统被视为语法。 23-41 简·A·伯格斯特拉 , 绍克·莫 , 弗里克·维迪克 :
等式有限集的一致代数规范。 43-65 Jin-yi Cai公司 , 梅里克·L·福斯特 :
PSPACE摆脱了持续的瓶颈。 67-76 维克托里亚·赞科 :
#P-通过多个约简实现的完整性。 77-82
第2卷第2期,1991年6月
维克拉曼·阿文德 , 萨默纳斯·比斯沃斯 :
具有一阶可表达子图属性的边删除图问题。 83-99 Thanh Tung Nguyen先生 :
恶魔非确定性程序的关系模型。 101-131 汉斯·博德兰德 :
关于一些彩色游戏的复杂性。 133-147 Sachio Hirokawa先生 :
Lambda条款的主要类型分配。 149-162 陶江 , 爱德华·麦克道尔 , 巴拉·拉维库马尔 :
一元字母表上最小NFA的结构和复杂性。 163-182
第2卷第3期,1991年9月
Dung T.Huynh先生 :
单一语言的高效检测器和构造函数。 183-206 陈志忠 , 东田诚司 :
关于计算最优解的复杂性。 207-220 安吉洛·蒙蒂 , 多梅尼科家长 :
带基本自动机的收缩树。 221-236 A.Hemachandra巷 , 桑杰·贾恩 :
关于局部稳健正约简的局限性。 237-255 Yves Métiver公司 , 布里吉特·罗佐伊 :
自由部分交换幺半群中的星运算。 257-265 约翰·V·塔克 , 杰弗里·扎克 :
抽象数据Tzpes上半可计算关系的投影。 267-296
第2卷第4期,1991年12月
纳西索·马蒂-奥列特 , 何塞·梅塞盖尔 :
从Petri网到线性逻辑的分类:综述。 297-399 井上胜寿 , 伊藤 彰 , Itsuo Takanami公司 :
具有改进的接受结构的交替图灵机。 401-417 乔瓦尼·潘蒂 :
一个涉及知识的数论问题的求解。 419-424
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)