| 515 | -- | 515 | Frank Thomson Leighton. Letter from the Editor |
| 516 | -- | 533 | Mikhail J. Atallah, Danny Z. Chen, Hubert Wagener. An Optimal Parallel Algorithm for the Visibility of a Simple Polygon from a Point |
| 534 | -- | 558 | Tomasz Imielinski. Abstraction in Query Processing |
| 559 | -- | 587 | Jieh Hsiang, Michaël Rusinowitch. Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method |
| 588 | -- | 619 | V. Wiktor Marek, Miroslaw Truszczynski. Autoepistemic Logic |
| 620 | -- | 650 | Allen Van Gelder, Kenneth A. Ross, John S. Schlipf. The Well-Founded Semantics for General Logic Programs |
| 651 | -- | 675 | Maxime Crochemore, Dominique Perrin. Two-Way String Matching |
| 676 | -- | 690 | Keith W. Ross, David D. Yao. Optimal Load Balancing and Scheduling in a Distributed Computer System |
| 691 | -- | 729 | Oded Goldreich, Silvio Micali, Avi Wigderson. Proofs that Yield Nothing But Their Validity for All Languages in NP Have Zero-Knowledge Proof Systems |
| 730 | -- | 752 | Cüneyt M. Özveren, Alan S. Willsky, Panos J. Antsaklis. Stability and Stabilizability of Discrete Event Dynamic Systems |
| 753 | -- | 774 | Jacobo Torán. Complexity Classes Defined by Counting Quantifiers |