| 1982 | A Boundary of Isomorphism Completeness in the Lattice of Semigroup Pseudovarieties. A. Goralciková, Pavel Goralcik, Václav Koubek |
| 1982 | A Branching Process Arising in Dynamic Hashing, Trie Searching and Polynomial Factorization. Philippe Flajolet, Jean-Marc Steyaert |
| 1982 | A Lower Bound for the Formula Size of Rational Functions. K. Kalorkoti |
| 1982 | A Modification of the Lambda-Calculus as a Base for Functional Programming Languages. Klaus J. Berkling, Elfriede Fehr |
| 1982 | A Powerdomain for Countable Non-Determinism (Extended Abstract). Gordon D. Plotkin |
| 1982 | A Programming Language for the Inductive Sets, and Applications. David Harel, Dexter Kozen |
| 1982 | A Sound and Complete Hoare Axiomatization of the Ada-Rendevous. Rob Gerth |
| 1982 | Advances in Pebbling (Preliminary Version). Nicholas Pippenger |
| 1982 | Algebraic Semantics of Recursive Flowchart Schemes. Hartmut Schmeck |
| 1982 | Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras. Jan A. Bergstra, Jan Willem Klop |
| 1982 | Algorithmic Theories of Data Structures. Andrzej Salwicki |
| 1982 | An Automata-Theoretic Characterization of the OI-Hierarchy. Werner Damm, Andreas Goerdt |
| 1982 | An Iteration Theorem for Simple Precedence Languages (Extended Abstract). Yael Krevner, Amiram Yehudai |
| 1982 | An Operational Semantics for Pure Dataflow. Antony A. Faustini |
| 1982 | Approximations of Infinitary Objects. Gérard Comyn, Max Dauchet |
| 1982 | Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings Mogens Nielsen, Erik Meineche Schmidt |
| 1982 | Biprefix Codes and Semisimple Algebras. Christophe Reutenauer |
| 1982 | Completing Biprefix Codes. Dominique Perrin |
| 1982 | Conditions Enforcing Regularity of Context-Free Languages. Andrzej Ehrenfeucht, David Haussler, Grzegorz Rozenberg |
| 1982 | Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems. John V. Guttag, Deepak Kapur, David R. Musser |
| 1982 | Domains for Denotational Semantics. Dana S. Scott |
| 1982 | Efficient Simulations of Multicounter Machines. Paul M. B. Vitányi |
| 1982 | Equivalence and Membership Problems for Regular Trace Languages. Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini |
| 1982 | Event Structure Semantics for CCS and Related Languages. Glynn Winskel |
| 1982 | Extended Chomsky-Schützenberger Theorems. Franz-Josef Brandenburg |
| 1982 | Fast Detection of Polyhedral Intersections. David P. Dobkin, David G. Kirkpatrick |
| 1982 | Fixed-Point Semantics for Algebraic (Tree) Grammars (Extended Abstract). Damian Niwinski |
| 1982 | Global and Local Invariants in Transition Systems. Joseph Sifakis |
| 1982 | Heaps on Heaps. Gaston H. Gonnet, J. Ian Munro |
| 1982 | Implementation of Parameterised Specifications (Extended Abstract). Donald Sannella, Martin Wirsing |
| 1982 | Locality in Modular Systems. Ralph-Johan Back, Heikki Mannila |
| 1982 | Machine Inductive Inference and Language Identification. John Case, Christopher Lynes |
| 1982 | Multihead Finite State Automata and Concatenation. Pavol Duris, Juraj Hromkovic |
| 1982 | On Relativization and the Existence of Complete Sets. Michael Sipser |
| 1982 | On Reversal-Bounded Counter Machines and on Pushdown Automata with a Bound on the Size of the Pushdown Store. Pavol Duris, Zvi Galil |
| 1982 | On Test Sets and the Ehrenfeucht Conjecture. Karel Culík II |
| 1982 | On the Equivalence Problem for Binary DOL Systems. Juhani Karhumäki |
| 1982 | On the Power of Chain Rules in Context Free Grammars. Norbert Blum |
| 1982 | On the Power of Nondeterminism in Dynamic Logic. Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn |
| 1982 | On the Power of Probabilistic Choice in Synchronous Parallel Computations. John H. Reif |
| 1982 | On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs. Mordechai Ben-Ari |
| 1982 | Properties of a Notation for Combining Functions. Jean-Claude Raoult, Ravi Sethi |
| 1982 | Real Time Agents. Luca Cardelli |
| 1982 | Repetitions in Homomorphisms and Languages. Andrzej Ehrenfeucht, Grzegorz Rozenberg |
| 1982 | Results on the Propositional µ-Calculus. Dexter Kozen |
| 1982 | Semantics of Interference Control. Robert D. Tennent |
| 1982 | Some Properties of D-Continuous Causal Nets. César Fernández, P. S. Thiagarajan |
| 1982 | The Complexity of Promise Problems. Alan L. Selman, Yacov Yacobi |
| 1982 | The Power of Non-Rectilinear Holes. Andrzej Lingas |
| 1982 | Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. Joseph A. Goguen, José Meseguer |