| 1978 | The Connection between Modal Logic and Algorithmic Logic. | Peter van Emde Boas |
| 1978 | Decision Problems Concerning Parallel Programming. | Jan A. Bergstra |
| 1978 | Mastering Contextsensitivity in Programming Languages. | Gerhard Barth |
| 1978 | On the Completeness of Query Languages for Relational Data Bases. | Franois Bancilhon |
| 1978 | Writing and Verifying Sequential Files Updating Programs. | Mikhail Auguston |
| 1977 | A Uniform Approach to Inductive Posets and Inductive Closure. | Jesse B. Wright, Eric G. Wagner, James W. Thatcher |
| 1977 | Identification of Formal Languages. | Rolf Wiehagen |
| 1977 | A Generalized Computability Thesis (Abstract). | Klaus Weihrauch |
| 1977 | The Influence of the Machine Model on the Time Complexity of Context-Free Language Recognition. | Reinhold Weicker |
| 1977 | Determining Processes by Violations. | Horst F. Wedde, Jzef Winkowski |
| 1977 | Properties of Complexity Classes: A Short Survey. | Gerd Wechsung |
| 1977 | Complexity Hierarchies of Oracles. | Klaus W. Wagner, Gerd Wechsung |
| 1977 | The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space. | Victor Vianu |
| 1977 | Real Time Computations with Restrictions on Tape Alphabet. | Mars K. Valiev |
| 1977 | Graph-Theoretic Arguments in Low-Level Complexity. | Leslie G. Valiant |
| 1977 | On Languages, Accepted by Machines in the Category of Sets. | Vera Trnkov, Jir Admek |
| 1977 | Frequency Algorithms and Computations. | Boris A. Trakhtenbrot |
| 1977 | Fixed-Points and Algebras with Infinitely Long Expressions, I. | Jerzy Tiuryn |
| 1977 | A Fast Non-Commutative Algorithm for Matrix Multiplication. | Ondrej Skora |
| 1977 | Time and Tape Bounded Auxiliary Pushdown Automata. | Ivan Hal Sudborough |
| 1977 | A Model for Retrieval Systems and Some Mathematical Problems Behind. | Jn Sturc |
| 1977 | Total Correctness for Procedures. | Stefan Sokolowski |
| 1977 | Improved Lower Bounds on the Number of Multiplications/Divisions Which Are Necessary to Evaluate Polynomials. | Claus-Peter Schnorr |
| 1977 | Applied Algorithmic Logic. | Andrzej Salwicki |
| 1977 | How Good Is the Adversary Lower Bound? | Peter Ruzicka, Juraj Wiedermann |