Volume 2, Number 1, March 1991

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

Volume 2, Number 2, June 1991

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

Volume 2, Number 3, September 1991

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

Volume 2, Number 4, December 1991

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

last updated on Sat May 25 06:14:58 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page