| 1973 | Automatic Theorem-Proving and the Decision Problem | William H. Joyner Jr. |
| 1973 | Characterizations of LR(0) Languages (Extended Abstract) | Matthew M. Geller, Michael A. Harrison |
| 1973 | Equivalence Problems in Monadic Recursion Schemes | Emily P. Friedman |
| 1973 | Graph-Grammars: An Algebraic Approach | Hartmut Ehrig, Michael Pfender, Hans Jrgen Schneider |
| 1973 | On the Optimal Evaluation of a Set of n-Linear Forms | David P. Dobkin |
| 1973 | Multiple-Input Change Asynchronous Machines Using Controlled Excitation and Flip-Flops | Henry Y. H. Chuang, Santanu Das |
| 1973 | The Complexity of Some Non-Classical Logics | John C. Cherniavsky |
| 1973 | Efficient Compilation of Linear Recursive Programs | Ashok K. Chandra |
| 1973 | Mechanizable Proofs about Parallel Processes | Jean-Marie Cadiou, Jean-Jacques Lvy |
| 1973 | On Multiple Input Change Hazard-Free Combinatorial Switching Circuits without Feedback | Jon G. Bredeson |
| 1973 | Inductive Inference: A Recursion Theoretic Approach | Lenore Blum, Manuel Blum |
| 1973 | Chow Parameters in Pseudothreshold Logic | Charles R. Baugh |
| 1972 | A Fast Algorithm for the Elimination of Common Subexpressions | Jeffrey D. Ullman |
| 1972 | Some Results in Computational Topology | George Tourlakis, John Mylopoulos |
| 1972 | On the Number of Multiplications for the Evaluation of a Polynomial and All Its Derivatives | Mary Shaw, Joseph F. Traub |
| 1972 | Multiple Faults in Reed-Muller Canonic Networks | Kewal K. Saluja, Sudhakar M. Reddy |
| 1972 | Some Related Problems from Network Flows, Game Theory and Integer Programming | Sartaj Sahni |
| 1972 | Program Equivalence and Context-Free Grammars | Barry K. Rosen |
| 1972 | On the Relation of Graph Grammars and Graph Automata | John Mylopoulos |
| 1972 | Fast Modular Transforms via Division | R. Moenck, Allan Borodin |
| 1972 | The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space | Albert R. Meyer, Larry J. Stockmeyer |
| 1972 | Honest Bounds for Complexity Classes of Recursive Functions | Albert R. Meyer, Robert Moll |
| 1972 | The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets | T. S. E. Maibaum |
| 1972 | Renamings in Program Schemas (Extended Abstract) | Luigi Logrippo |
| 1972 | Optimal Scheduling on Multi-Processor Computing Systems | C. L. Liu |