| 1976 | A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures. Grazyna Mirkowska, Andrzej Salwicki |
| 1976 | A Hierarchy of Context-Sensitive Languages. Irina Gorun |
| 1976 | A Lower Bound of ½n² on Linear Search Programs for the Knapsack Problem. David P. Dobkin, Richard J. Lipton |
| 1976 | A Machine Independent Description of Complexity Classes, Definable by Nondeterministic as well as Determinsitic Turing Machines with Primitive Pecursove Tape or Time Bounds. Hagen Huwig |
| 1976 | A Mathematical Model of Parallel Information Processing. Andrzej Skowron |
| 1976 | A Method Using a Set-Theoretical Formalism to Describe the Semantics of Programming Languages. Walter Issel |
| 1976 | A Note on the Automatic Generation of Inductive Assertions. Wolfgang Coy |
| 1976 | A Remark on Equivalence of Mazurkiewicz's Finite-Control Algorithms over Nets. Michal Grabowski |
| 1976 | About Three Equations Classes of Languages Built Up By Shuffle Operations. Matthias Höpner, Manfred Opp |
| 1976 | Algorithms and Real Numbers. N. M. Nagorny |
| 1976 | An Algebraic Approach to Data Types, Program Verification, and Program Synthesis. Friedrich W. von Henke |
| 1976 | An Algebraic Framework for the Study of the Syntactic Monoids Application to the Group Languages. Jacques Sakarovitch |
| 1976 | An Axiomatic Approach to Information Structures. Hans-Dieter Ehrich |
| 1976 | Analysis of the Non-Context-Free Component of Formal Languages. Michal Chytil |
| 1976 | Cannonizing Reducibility Method in the Theory of Program Schemata. Anatoliy O. Buda |
| 1976 | Compiler Generation Using Denotational Semantics. Peter D. Mosses |
| 1976 | Computational Processes Generated by Programs with Recursive Procedures and Block Structures. Andrzej Salwicki, Tomasz Müldner |
| 1976 | Constructing Iterative Version of a System of Recursive Procedures. Jacek Irlik |
| 1976 | Context-Free Algebra: A Mathematical Device for Compiler Specifications. Teodor Rus |
| 1976 | Context-Free Programmed Grammars and ETOL Systems. Grzegorz Rozenberg, Dirk Vermeir |
| 1976 | Decision Problems for Multi-Tape Automata. Peter H. Starke |
| 1976 | Degrees of Parallelism in Computations. Vladimir Yu. Sazonov |
| 1976 | Descriptional Complexity (of Languages) - A Short Survey. Jozef Gruska |
| 1976 | Determinism in Concurrent Systems. Wlodzimierz Kwasowiec |
| 1976 | Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination. Willem P. de Roever |
| 1976 | Equivalence and Optimization of Recursive Program Schemata. Zbigniew Zwinogrodzki |
| 1976 | Error Detection Using Regular Languages. P. Prusinkiewicz |
| 1976 | Exercises in Denotational Semantics. Krzysztof R. Apt, J. W. de Bakker |
| 1976 | Formal Definition of Semantics of Generated Control Regimes. Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini |
| 1976 | Generating Control Mechanisms by Restrictions. Kurt Lautenbach, Horst F. Wedde |
| 1976 | Heuristic Representation of State-Space by Finite Automata. Jozef Kelemen |
| 1976 | Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings Antoni W. Mazurkiewicz |
| 1976 | Microprogram-Oriented Model of the Controlled Structure. Igor Hansen, Jacek Leszczylowski |
| 1976 | Minimal While Programs. Edwin Stewart Bainbridge |
| 1976 | Multiplicity Functions on Omega-Automata. Marek Karpinski |
| 1976 | Observability Concepts in Abstract Data Type Specifications. V. Giarratana, F. Gimona, Ugo Montanari |
| 1976 | On Adaptability of a System of Programs. A. Schurmann |
| 1976 | On Attribute Grammars. Valery N. Agafonov |
| 1976 | On Behaviour of R-Fuzzy Automata. Jürgen Brunner, Wolfgang Wechler |
| 1976 | On Consecutive Storage of Records. Janusz Górski |
| 1976 | On Diagnosis of Algorithmical Processes. Janusz W. Laski |
| 1976 | On Divergence Problems for Program Schemas. Valery A. Nepomniaschy |
| 1976 | On Mappings of Machines. Miroslav Novotný |
| 1976 | On Memory Requirements of Strassen's Algorithms. Antoni Kreczmar |
| 1976 | On Semantic Issues in the Relational Model of Data. Jean-Marc Cadiou |
| 1976 | On Sequential Modelling of Non-Sequential Processes. Józef Winkowski |
| 1976 | On Some Properties of Cyclic Automata and Their Extensions. Boleslaw Mikolajczak |
| 1976 | On Specfic Features of Recognizable Families of Languages. Václav Benda, Kamila Bendová |
| 1976 | On Strict Interpretations of Grammar Forms. Seymour Ginsburg, Otto Mayer |
| 1976 | On a Relationship Between Programs of Address Machines and Mazurkiewicz Algorithms. Zbigniew W. Ras |
| 1976 | On the Branching Structure of Languages. Ivan M. Havel |
| 1976 | On the Domain of Iteration in Iterative Algebraic Theories. Jerzy Tiuryn |
| 1976 | On the Lower Bound for Minimum Comparison Selection. Peter Ruzicka, Juraj Wiedermann |
| 1976 | On the Parsing of LL-Regular Grammars. Anton Nijholt |
| 1976 | On the Relationship between a Procedure and its Data. Armin B. Cremers, Thomas N. Hibbard |
| 1976 | On the Relativization of Deterministic and Nondeterministic Complexity Classes. Michael I. Dekhtyar |
| 1976 | On the Termination of Simple Computer Programs. Eberhard Bergmann |
| 1976 | One-One Degrees of Turing Machines Decision Problems. Joanna Jedrzejowicz |
| 1976 | Parallelism of Manipulations in Multidimensional Information Structures. Hartmut Ehrig, Hans-Jörg Kreowski |
| 1976 | Powerdomains. Michael B. Smyth |
| 1976 | Programs, Computations and Temporal Features. Marco Colombetti, Enrico Pagello |
| 1976 | Recent Results on L Systems. Arto Salomaa |
| 1976 | Recursive Program Schemas and Computable Functionals. Boris A. Trakhtenbrot |
| 1976 | Recursivity, Sequence Recursivity, Stack Recursivity and Semantics of Programs. Giorgio Germano, Andrea Maggiolo-Schettini |
| 1976 | Reduction of Petri-Nets. Gérard Berthelot, Gérard Roucairol |
| 1976 | Relations between Programs with Different Storage Requirements. Michael D. Harrison |
| 1976 | Schemes with Recursion on Higher Types. Klaus Indermark |
| 1976 | Semigroup Characterizations of Some Language Varieties. Robert Knast |
| 1976 | Some Fundamentals of Order-Algebraic Semantics. Eric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher |
| 1976 | Strongly Connected G-S-M Mappings Preserving Conjugation. Christian Choffrut |
| 1976 | The Calculus of Facts. Hartmann J. Genrich, Gerda Thieler-Mevissen |
| 1976 | The Characteristic Polynomial of a Finite Automaton. Dominique Perrin |
| 1976 | The Cubic Search Method. Romuald Jagielski |
| 1976 | The Direct Product of Automata and Quasi-Automata. Willibald Dörfler |
| 1976 | The Effective Arrangement of Logical Systems. Edsger W. Dijkstra |
| 1976 | The Influence of the Data Presentation on the Computational POwer of Machines. Rutger Verbeek, Klaus Weihrauch |
| 1976 | The Metric Properties on the Semigroups and the Languages. Alexandru Dinca |
| 1976 | Vectors of Coroutines. Ryszard Janicki |
| 1976 | W-Automata and Their Languages. Wilfried Brauer |