International Journal of Foundations of Computer Science, Volume 2

Volume 2, Number 1, March 1991

Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin: Faithful Ideal Models for Recursive Polymorphic Types. 1-21 BibTeX
Thomas Wilmes: Functional Production Systems Viewed as Grammars. 23-41 BibTeX
Jan A. Bergstra, Sjouke Mauw, Freek Wiedijk: Uniform Algebraic Specifications of Finite Sets with Equality. 43-65 BibTeX
Jin-yi Cai, Merrick L. Furst: PSPACE Survives Constant-Width Bottlenecks. 67-76 BibTeX
Viktória Zankó: #P-Completeness via Many-One Reductions. 77-82 BibTeX

Vikraman Arvind, Somenath Biswas: Edge-Deletion Graph Problems with First-Order Expressible Subgraph Properties. 83-99 BibTeX
Thanh Tung Nguyen: A Relational Model of Demonic Nondeterministic Programs. 101-131 BibTeX
Hans L. Bodlaender: On the Complexity of Some Coloring Games. 133-147 BibTeX
Sachio Hirokawa: Prinipal Type Assignment to Lambda Terms. 149-162 BibTeX
Tao Jiang, Edward McDowell, Bala Ravikumar: The Structure and Complexity of Minimal NFA's over a Unary Alphabet. 163-182 BibTeX

Dung T. Huynh: Efficient Detectors and Constructors for Single Languages. 183-206 BibTeX
Zhi-Zhong Chen, Seinosuke Toda: On the Complexity of Computing Optimal Solutions. 207-220 BibTeX
Angelo Monti, Domenico Parente: Systolic Tree with Base Automata. 221-236 BibTeX
Lane A. Hemachandra, Sanjay Jain: On the Limitations of Locally Robust Positive Reductions. 237-255 BibTeX
Yves Métivier, Brigitte Rozoy: On the Star Operation in Free Partially Commutative Monoids. 257-265 BibTeX
J. V. Tucker, Jeffery I. Zucker: Projections of Semicomputable Relations on Abstract Data Tzpes. 267-296 BibTeX

Narciso Martí-Oliet, José Meseguer: From Petri Nets to Linear Logic through Categories: A Survey. 297-399 BibTeX
Katsushi Inoue, Akira Ito, Itsuo Takanami: Alternating Turing Machines with Modified Accepting Structure. 401-417 BibTeX
Giovanni Panti: Solution of a Number Theoretic Problem Involving Knowledge. 419-424 BibTeX