| 1977 | A Calculus to Build Up Correct Programs. Pierangelo Miglioli, Mario Ornaghi |
| 1977 | A Comparative Review of Some Program Verification Methods. Andrzej Blikle |
| 1977 | A Fast Non-Commutative Algorithm for Matrix Multiplication. Ondrej Sýkora |
| 1977 | A Generalized Computability Thesis (Abstract). Klaus Weihrauch |
| 1977 | A Model for Retrieval Systems and Some Mathematical Problems Behind. Ján Sturc |
| 1977 | A New Type of Models of Computation. Erwin Engeler |
| 1977 | A Probabilistic Restriction of Branching Plans. Ivan Kramosil |
| 1977 | A Survey of Recent Problems and Results in Analytic Computational Complexity. Boleslaw Z. Kacewicz, Henryk Wozniakowski |
| 1977 | A Top-Down No Backtrack Parsing of General Context-Free Languages. Jaroslav Král |
| 1977 | A Uniform Approach to Inductive Posets and Inductive Closure. Jesse B. Wright, Eric G. Wagner, James W. Thatcher |
| 1977 | Acceptors for Iteration Languages. Grzegorz Rozenberg, Dirk Vermeir |
| 1977 | Algebra and Logic in Theoretical Computer Science. Ferenc Gécseg, Péter Ecsedi-Tóth |
| 1977 | An Algebraic Approach to Problem Solution and Problem Semantics. Alberto Bertoni, Giancarlo Mauri, Mauro Torelli |
| 1977 | Another Approach for Proving Program Correctness. Peter A. Ng, Sung Y. Bang |
| 1977 | Applied Algorithmic Logic. Andrzej Salwicki |
| 1977 | Arithmetical Complexity of Some Problems in Computer Science. Petr Hájek |
| 1977 | Characterization of Recognizable Families by Means of Regular Languages. Václav Benda, Kamila Bendová |
| 1977 | Classes of Structurally Isomorphic {NP}-Optimization Problems. Giorgio Ausiello, Alessandro D'Atri, Marco Gaudiano, Marco Protasi |
| 1977 | Classification of the Context-Free Languages. Luc Boasson |
| 1977 | Comparison of the Active Visiting and the Crossing Complexities. Michal Chytil |
| 1977 | Complexity Hierarchies of Oracles. Klaus W. Wagner, Gerd Wechsung |
| 1977 | Complexity and Minimality of Context-Free Grammars and Languages. Anton Cerný |
| 1977 | Correctness of Mixed Computation in Algol-Like Programs. Andrei P. Ershov, V. E. Itkin |
| 1977 | Correctness of Recursive Flow Diagram Programs. Joseph A. Goguen, José Meseguer |
| 1977 | Cover Results and Normal Forms. Anton Nijholt |
| 1977 | Decidability (Undecidability) of Equivalence of Minsky Machines with Components Consisting of at Most Seven (Eight) Instructions. Ivan Korec |
| 1977 | Determining Processes by Violations. Horst F. Wedde, Józef Winkowski |
| 1977 | Exponential Optimization for the {LLP($k$)} Parsing Method. Jan Pittl |
| 1977 | Finite Automaton from a Flowchart Scheme Point of View. Calvin C. Elgot |
| 1977 | Fixed-Points and Algebras with Infinitely Long Expressions, I. Jerzy Tiuryn |
| 1977 | Formal Transformations and the Development of Programs. Friedrich W. von Henke |
| 1977 | Frequency Algorithms and Computations. Boris A. Trakhtenbrot |
| 1977 | Generalized Probabilistic Grammars. Valery N. Agafonov |
| 1977 | Graph-Theoretic Arguments in Low-Level Complexity. Leslie G. Valiant |
| 1977 | How Good Is the Adversary Lower Bound? Peter Ruzicka, Juraj Wiedermann |
| 1977 | Identification of Formal Languages. Rolf Wiehagen |
| 1977 | Improved Lower Bounds on the Number of Multiplications/Divisions Which Are Necessary to Evaluate Polynomials. Claus-Peter Schnorr |
| 1977 | Invariant Properties of Informational Bulks. Leonid A. Levin, V. V. V'jugin |
| 1977 | Mathematical Foundations of Computer Science 1977, 6th Symposium, Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings Jozef Gruska |
| 1977 | Measures of Ambiguity in the Analysis of Complex Systems. Aldo de Luca, Settimo Termini |
| 1977 | On Languages, Accepted by Machines in the Category of Sets. Vera Trnková, Jirí Adámek |
| 1977 | On a Deterministic Subclass of Context-Free Languages. Jan Peckel |
| 1977 | On the Complexity of Equivalent Transformations in Programming Languages. Max I. Kanovic |
| 1977 | On the Logic of Incomplete Transformation. Witold Lipski Jr. |
| 1977 | On the Structure and Properties of NP-Complete Problems and Their Associated Optimization Problems. Giorgio Ausiello |
| 1977 | Optimal RAS Programs for Arbitrarily Complex 0-1 Valued Functions. Sándor Horváth |
| 1977 | Properties of Complexity Classes: A Short Survey. Gerd Wechsung |
| 1977 | Pushdown-Automata and Families of Languages Generating Cylinders. Jean-Michel Autebert |
| 1977 | Real Time Computations with Restrictions on Tape Alphabet. Mars K. Valiev |
| 1977 | Reducing Operators for Normed General Formal Systems. Manfred Kudlek, Miroslav Novotný |
| 1977 | Schematology in a Multi-Language Optimizer. Victor N. Kasyanov, Sergei B. Pokrovsky |
| 1977 | Semantics and Proof Rules for Coroutine Hierarchies in Block-Structured Programming Languages. Peter Raulefs |
| 1977 | Semantics of Infinite Processes Using Generalized Trees. J. W. de Bakker |
| 1977 | The Bodnarchuk Metric Space of Languages and the Topology of the Learning Space. Victor Vianu |
| 1977 | The Expressive Power of Intensional Logic in the Semantics of Programming Languages. Theo M. V. Janssen, Peter van Emde Boas |
| 1977 | The Influence of the Machine Model on the Time Complexity of Context-Free Language Recognition. Reinhold Weicker |
| 1977 | The Medial Axis of a Simple Polygon. Franco P. Preparata |
| 1977 | Time and Tape Bounded Auxiliary Pushdown Automata. Ivan Hal Sudborough |
| 1977 | Total Correctness for Procedures. Stefan Sokolowski |
| 1977 | Tree-Structures for Set Manipulation Problems. Hermann A. Maurer, Thomas Ottmann |
| 1977 | Two Decidability Results for Deterministic Pushdown Automata. Matti Linna |
| 1977 | Two-Level Meta-Controlled Substitution Grammars. Robert Meersman, Grzegorz Rozenberg |