| 1976 | Multiplicity Functions on Omega-Automata. | Marek Karpinski |
| 1976 | One-One Degrees of Turing Machines Decision Problems. | Joanna Jedrzejowicz |
| 1976 | Vectors of Coroutines. | Ryszard Janicki |
| 1976 | The Cubic Search Method. | Romuald Jagielski |
| 1976 | A Method Using a Set-Theoretical Formalism to Describe the Semantics of Programming Languages. | Walter Issel |
| 1976 | Constructing Iterative Version of a System of Recursive Procedures. | Jacek Irlik |
| 1976 | Schemes with Recursion on Higher Types. | Klaus Indermark |
| 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 | About Three Equations Classes of Languages Built Up By Shuffle Operations. | Matthias Hpner, Manfred Opp |
| 1976 | An Algebraic Approach to Data Types, Program Verification, and Program Synthesis. | Friedrich W. von Henke |
| 1976 | On the Branching Structure of Languages. | Ivan M. Havel |
| 1976 | Relations between Programs with Different Storage Requirements. | Michael D. Harrison |
| 1976 | Microprogram-Oriented Model of the Controlled Structure. | Igor Hansen, Jacek Leszczylowski |
| 1976 | Descriptional Complexity (of Languages) - A Short Survey. | Jozef Gruska |
| 1976 | A Remark on Equivalence of Mazurkiewicz's Finite-Control Algorithms over Nets. | Michal Grabowski |
| 1976 | A Hierarchy of Context-Sensitive Languages. | Irina Gorun |
| 1976 | On Consecutive Storage of Records. | Janusz Grski |
| 1976 | On Strict Interpretations of Grammar Forms. | Seymour Ginsburg, Otto Mayer |
| 1976 | Observability Concepts in Abstract Data Type Specifications. | V. Giarratana, F. Gimona, Ugo Montanari |
| 1976 | Recursivity, Sequence Recursivity, Stack Recursivity and Semantics of Programs. | Giorgio Germano, Andrea Maggiolo-Schettini |
| 1976 | The Calculus of Facts. | Hartmann J. Genrich, Gerda Thieler-Mevissen |
| 1976 | Parallelism of Manipulations in Multidimensional Information Structures. | Hartmut Ehrig, Hans-Jrg Kreowski |
| 1976 | An Axiomatic Approach to Information Structures. | Hans-Dieter Ehrich |
| 1976 | The Direct Product of Automata and Quasi-Automata. | Willibald Drfler |
| 1976 | A Lower Bound of ½n² on Linear Search Programs for the Knapsack Problem. | David P. Dobkin, Richard J. Lipton |