| 1976 | A Characterization of LL(k) Languages. Eljas Soisalon-Soininen, Esko Ukkonen |
| 1976 | A Linear Algorithm for Testing Isomorphism of Planar Graphs. Max Fontet |
| 1976 | A Note on the Average Time to Compute Transitive Closures. Peter A. Bloniarz, Michael J. Fischer, Albert R. Meyer |
| 1976 | A Theory of Computation with an Identity Discriminator. Giuseppe Longo, Marisa Venturini Zilli |
| 1976 | Bi-transductions de forêts. André Arnold, Max Dauchet |
| 1976 | CONS Should Not Evaluate its Arguments. Daniel P. Friedman, David S. Wise |
| 1976 | Eliminating Blind Alleys from Backtrack Programs. Michel Sintzoff |
| 1976 | Event Based Reasoning - A System for Proving Correct Termination of Programs. J. Schwarz |
| 1976 | Générateurs algébriques non-ambigus. Joffroy Beauquier |
| 1976 | Informational Systems with Incomplete Information. Witold Lipski Jr. |
| 1976 | Ink, Dirty-Tape Turing Machines, and Quasicomplexity Measures. John Gill, István Simon |
| 1976 | Logical Rules of Natural Reasoning about Programs. Fred Kröger |
| 1976 | Lower Bounds for the Space Complexity of Context-Free Recognition. Helmut Alt, Kurt Mehlhorn |
| 1976 | On Enumeration Procedures for Theorem Proving and for Integer Programming. Zvi Galil |
| 1976 | On Proofs of Programs for Synchronization. Irene Greif |
| 1976 | On a Family of Codes Related to Factorization of Cyclotomic Polynomials. Antonio Restivo |
| 1976 | On omega-sets Associated with Context-Free Languages. Matti Linna |
| 1976 | On the Construction of Huffman Trees. Jan van Leeuwen |
| 1976 | Optimal Algorithms for Self-Reducible Problems. Claus-Peter Schnorr |
| 1976 | Outline of an Algebraic Theory of Structured Objects. Hans-Dieter Ehrich |
| 1976 | Program Equivalence and Canonical Forms in Stable Discrete Interpretations. Gérard Berry, Bruno Courcelle |
| 1976 | Proving Programs Incorrect. Daniel Brand |
| 1976 | Semantic Equivalence of Program Schemes and its Syntactic Characterization. Irène Guessarian |
| 1976 | Semantics and Termination of Nondeterministic Recursive Programs. J. W. de Bakker |
| 1976 | Sur la longeur moyenne des codes préfixes. Dominique Perrin |
| 1976 | Sur les monoïdes syntactiques des langages algébriques déterministes. Jacques Sakarovitch |
| 1976 | The Depth of Boolean Functions. William F. McColl |
| 1976 | The Equivalence Problem for D0L Systems and its Decidability for Binary Alphabets. Leslie G. Valiant |
| 1976 | The Semantics of Nondeterminism. Matthew Hennessy, Edward A. Ashcroft |
| 1976 | Third International Colloquium on Automata, Languages and Programming, University of Edinburgh, UK, July 20-23, 1976 S. Michaelson, Robin Milner |
| 1976 | User-Defined Data Types as an Aid to Verifying LISP Programs. Robert Cartwright |
| 1976 | Verification Conditions as Programs. Maarten H. van Emden |