| 1979 | Synchronization and Maximality for Very Pure Subsemigroups of a Free Semigroup. | Aldo de Luca, Antonio Restivo |
| 1979 | New Proofs for Jump DPDA's. | Matti Linna, Martti Penttonen |
| 1979 | Context Free Normal Systems. | Manfred Kudlek |
| 1979 | A Note on Computational Complexity of a Statistical Deducibility Testing Procedure. | Ivan Kramosil |
| 1979 | Fully Effective Solutions of Recursive Domain Equations. | Akira Kanda |
| 1979 | Parallel and Two-Way Recognizers of Directed Acyclic Graphs (Extended Abstract). | Tsutomu Kamimura, Giora Slutzki |
| 1979 | Full Abstraction for a Simple Parallel Programming Language. | Matthew Hennessy, Gordon D. Plotkin |
| 1979 | On Two Types of Loops. | Ivan M. Havel |
| 1979 | Relative Succinctness of Representations of Languages and Separation of Complexity Classes. | Juris Hartmanis, Theodore P. Baker |
| 1979 | Small Universal Minsky Machines. | Ludmila Gregusov, Ivan Korec |
| 1979 | A Reduct-and-Closure Algorithm for Graphs. | A. Goralcikov, Vclav Koubek |
| 1979 | Computational Complexity of Approximation Algorithms for Combinatorial Problems. | George Gens, Eugene Levner |
| 1979 | Fast Probabilistic Algorithms. | Rusins Freivalds |
| 1979 | On the Weighted Path Length of Binary Search Trees for Unknown Access Probabilities. | Thomas M. Fischer |
| 1979 | Bounds on Computational Complexity and Approximability of Initial Segments of Recursive Sets. | Michael I. Dekhtyar |
| 1979 | An Algebraic Extension of the Chomsky-Hierarchy. | Werner Damm |
| 1979 | On the Simplification of Constructions in Degrees of Unsolvability via Computational Complexity. | Robert P. Daley |
| 1979 | Interactive L Systems with Almost Interactionless Behaviour. | Karel Culk II, Juhani Karhumki |
| 1979 | On Rational Expressions Representing Infinite Rational Trees: Application to the Structure of Flow Charts. | Guy Cousineau, Maurice Nivat |
| 1979 | Program Equivalence and Provability. | Guy Cousineau, Patrice Enjalbert |
| 1979 | Computable Data Types. | Grard Comyn, G. Werner |
| 1979 | Complexity Classes of Formal Languages (Preliminary Report). | Ronald V. Book |
| 1979 | Assertion Programming. | Andrzej Blikle |
| 1979 | A Survey of Some Syntactic Results in the lambda-Calculus. | Grard Berry, Jean-Jacques Lvy |
| 1979 | The Problem of Reachability and Verification of Programs. | J. M. Barzdin |