| 1 | -- | 10 | Benjamin Arazi. An Approach for Generating Different Types of Gray Codes |
| 11 | -- | 38 | Yishai A. Feldman. A Decidable Propositional Dynamic Logic with Explicit Probabilities |
| 39 | -- | 57 | Richard Cole, Chee-Keng Yap. Geometric Retrieval Problems |
| 58 | -- | 66 | Paliath Narendran, Friedrich Otto, Karl Winklmann. The Uniform Conjugacy Problem for Finite Church-Rosser Thue Systems is NP-Complete |
| 67 | -- | 87 | J. M. Robson. Fast Probabilistic RAM Simulation of Single Tape Turing Machine Computations |
| 88 | -- | 112 | A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Albert R. Meyer. Can Message Buffers Be Axiomatized in Linear Temporal Logic? |
| 113 | -- | 117 | H. C. M. Kleijn, Martti Penttonen, Grzegorz Rozenberg, Kai Salomaa. Direction Independent Context-Sensitive Grammars |
| 118 | -- | 139 | David Harel, Dexter Kozen. A Programming Language for the Inductive Sets, and Applications |