| 1978 | (Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca |
| 1978 | A PSPACE Complete Problem Related to a Pebble Game. Andrzej Lingas |
| 1978 | Admissible Coherent CPO's. Edward Sciore, A. Tang |
| 1978 | Ambiguite Forte. Joffroy Beauquier |
| 1978 | Arithmetical Completeness in Logics of Programs. David Harel |
| 1978 | Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings Giorgio Ausiello, Corrado Böhm |
| 1978 | Characterization Problems in the Theory of Inductive Inference. Rolf Wiehagen |
| 1978 | Codes: Unequal Probabilities, Unequal Letter Costs (Extended Abstract). Doris Altenkamp, Kurt Mehlhorn |
| 1978 | Comparisons and Reset Machines (Preliminary Report). Ronald V. Book, Sheila A. Greibach, Celia Wrathall |
| 1978 | Covering a Graph by Circuits. Alon Itai, Michael Rodeh |
| 1978 | Grammars with Dynamic Control Sets. Gerhard Barth |
| 1978 | Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form. Marisa Venturini Zilli |
| 1978 | Integration of the Phase-Difference Relations in Asynchronous Sequential Networks. Tommaso Toffoli |
| 1978 | Multiterminal Network Flow and Connectivity in Unsymmetrical Networks. Claus-Peter Schnorr |
| 1978 | Mutual Exclusion of N Processors Using an O(N)-Valued Message Variable (Extended Abstract). Armin B. Cremers, Thomas N. Hibbard |
| 1978 | On Constructing Efficient Evaluators for Attribute Grammars. Mikko Saarinen |
| 1978 | On Improving the Worst Case Running Time of the Boyer-Moore String Matching Algorithm. Zvi Galil |
| 1978 | On the Parsing and Covering of Simple Chain Grammars. Anton Nijholt |
| 1978 | On the Power of Self-Application and Higher Type-Recursion. Werner Damm, Elfriede Fehr |
| 1978 | Parallel and Nondeterministic Time Complexity Classes (Preliminary Report). Walter J. Savitch |
| 1978 | Path Measures of Turing Machine Computations (Preliminary Report). Joachim Biskup |
| 1978 | Relationship Between Density and Deterministic Complexity of NP-Complete Languages. Piotr Berman |
| 1978 | Self-Modifying Nets, a Natural Extension of Petri Nets. Rüdiger Valk |
| 1978 | Semantics and Correctness of Nondeterministic Flowchart Programs with Recursive Procedures. Jean H. Gallier |
| 1978 | Simple EOL Forms under Uniform Interpretation Generating CF Languages. Jürgen Albert, Hermann A. Maurer, Grzegorz Rozenberg |
| 1978 | Size-Depth Tradeoff in Boolean Formulas. Beate Commentz-Walter |
| 1978 | Some Decision Results for Recognizable Sets in Arbitrary Monoids. Antonio Restivo |
| 1978 | Some Effective Results About Linear Recursive Sequences. Maurice Mignotte |
| 1978 | Stable Models of Typed lambda-Calculi. Gérard Berry |
| 1978 | States Can Sometimes Do More Than Stack Symbols in PDA's. John K. Price, Detlef Wotschke |
| 1978 | Stepwise Specification and Implementation of Abstract Data Types. Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz |
| 1978 | Sul l'inversion des morphisms d'arbres. André Arnold, Max Dauchet |
| 1978 | Sur les Series Rationnelles en Variables Non Commutatives. Christophe Reutenauer |
| 1978 | Sur un Cas Particulier de la Conjecture de Cerny. Jean-Eric Pin |
| 1978 | The Complexity of Equivalence and Containment for Free Single Variable Program Schemes. Steven Fortune, John E. Hopcroft, Erik Meineche Schmidt |
| 1978 | Time and Space Bounds for Selection Problems. David P. Dobkin, J. Ian Munro |
| 1978 | Une Extension de la Theorie des Types en lambda-Calcul. Patrick Sale |
| 1978 | Une Famille Remarquable de Codes Indecomposables. Jean-Marie Boë |