| 1980 | A Criterion of Undecidability of Algorithmic Theories. Wiktor Danko |
| 1980 | A Logical Approach to the Problem "P=NP?". Vladimir Yu. Sazonov |
| 1980 | A Mathematical Approach to Multi-Pass Parsing. Berthold Hoffmann, Ilse-Renate Schmiedecke |
| 1980 | A Method to Compare the Descriptive Power of Different Types of Petri Nets. Kurt Jensen |
| 1980 | A Resource Applocation Problem. Zbigniew Suraj |
| 1980 | A Simple Class of Algorithmic Specifications for Abstract Software Modules. Herbert Klaeren |
| 1980 | A Term Model for CCS. Matthew Hennessy, Gordon D. Plotkin |
| 1980 | A Theoretical Basis for the Systematic Proof Method. Wolfgang Bibel |
| 1980 | A Uniform Approach to Applicative and Imperative Features in Programming Languages. Stefan Sokolowski |
| 1980 | Abstract Data Types as Lattices of Finitely Generated Models. Martin Wirsing, Manfred Broy |
| 1980 | Abstract Data Types: A Retrospective and Prospective View. William A. Wulf |
| 1980 | Abstract Implementation of Abstract Data Types. Ulrich L. Hupbach |
| 1980 | An Eassay about Research on Sparse NP Complete Sets. Juris Hartmanis, Stephen R. Mahaney |
| 1980 | An Extended Polymorphic Type System for Applicative Languages. Mario Coppo |
| 1980 | An O(n² log log log n) Expected Time Algorithm for the all Shortest Distance Problem. Tadao Takaoka, Alistair Moffat |
| 1980 | Analog Processes. Luca Cardelli |
| 1980 | Approaches to Concurrency in B-Trees. Yat-Sang Kwong, Derick Wood |
| 1980 | Asymptotic Complexity of Game-Searching Procedures. Judea Pearl |
| 1980 | Axioms of Algorithmic Logic Univocally Determine Semantics of Programs. Andrzej Salwicki |
| 1980 | Completeness in Classical Logic of Complex Algorithms. Helena Rasiowa |
| 1980 | Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz |
| 1980 | Conceptual Relations between Databases Transformed under Join and Projection. Giorgio Ausiello, Carlo Batini, Marina Moscarini |
| 1980 | Consistent Semantics for a Data Flow Language. J. Dean Brock |
| 1980 | Controlling Behaviours of Systems: Some Basic Concepts and some Applications. André Arnold, Maurice Nivat |
| 1980 | Deadlocks and Livelocks in Transition Systems. Joseph Sifakis |
| 1980 | Decidability Results on a Query Language for Data Bases with Incomplete Informations. Hiroakira Ono, Akira Nakamura |
| 1980 | Decidability of Reachability in Persistent Vector Replacement Systems. Horst Müller |
| 1980 | Decision Complexity of Variants of Propositional Dynamic Logic. Mars K. Valiev |
| 1980 | Descriptional Complexity of Concurrent Processes (preliminary version). Giora Slutzki |
| 1980 | Dynamic Algebras which are not Kripke Structures. Jan Reiterman, Vera Trnková |
| 1980 | Electronic Category Theory. Rod M. Burstall |
| 1980 | Formal Description of Programming Concepts: A Software Engineering Viewpoint. Dines Bjørner |
| 1980 | Generalized Heapsort. Seiichi Okoma |
| 1980 | Inducing Patterns of Behaviour in Distributed System Parts. Norbert Kraft, Horst F. Wedde |
| 1980 | Initially-Restricting Algebraic Theories. Horst Reichel |
| 1980 | Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 Piotr Dembinski |
| 1980 | New Results on Completeness and Consistency of Abstract Data Types. Peter Padawitz |
| 1980 | Node-Label Controllel Graph Grammars. Dirk Janssens, Grzegorz Rozenberg |
| 1980 | On Atomic Nets and Concurrency Relations. Ryszard Janicki |
| 1980 | On Finding the Optimal Access Path to Resolve a Relational Data Base Query. Pierpaolo Degano, A. Lomanto, Franco Sirovich |
| 1980 | On Some Discrete Optimization Problems in Mass Storage Systems. C. K. Wong |
| 1980 | On a Subclass of Pseudopolynomial Problems. Burkhard Monien |
| 1980 | Parallel Algorithms in Graph Theory: Planarity Testing (preliminary version). Joseph F. JáJá, Janos Simon |
| 1980 | Proof of a Concurrent Program Finding Euler Paths. Eike Best |
| 1980 | Relativized Obliviousness. Paul M. B. Vitányi |
| 1980 | Schemes for Nonsequential Processing Systems. Wolfgang Reisig |
| 1980 | Some Theoretical Aspects of Applicative Multiprocessing. Robert M. Keller |
| 1980 | Substitution Systems - A Family of System Models Based on Concurrency. Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan |
| 1980 | The LR(k) Parser. Jacek Witaszek |
| 1980 | The Weighted Sperner's Set Problem. Xavier Berenguer, Josep Díaz |
| 1980 | Time and Space Bounds in Producing Certain Partial Orders. Peter Ruzicka |
| 1980 | Van Wijngaarden Grammars as a Special Information Processing Model. Ingbert Kupka |
| 1980 | Verifying Concurrent System Specification in COSY. M. W. Shields, Peter E. Lauer |
| 1980 | on And/Or Schemes. David Harel |