| 1990 | The Classification of Continuous Domains (Extended Abstract) | Achim Jung |
| 1990 | A Decision Procedure for a Class of Set Constraints (Extended Abstract) | Nevin Heintze, Joxan Jaffar |
| 1990 | On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) | David Harel, Roni Rosner, Moshe Y. Vardi |
| 1990 | Explicit Clock Temporal Logic | Eyal Harel, Orna Lichtenstein, Amir Pnueli |
| 1990 | Single-Threaded Polymorphic Lambda Calculus | Juan C. Guzmn, Paul Hudak |
| 1990 | Modelling Shared State in a Shared Action Model | Kenneth J. Goldman, Nancy A. Lynch |
| 1990 | Reactive, Generative, and Stratified Models of Probabilistic Processes | Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts |
| 1990 | Normal Process Representatives | Vijay Gehlot, Carl A. Gunter |
| 1990 | Extensional PERs | Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott |
| 1990 | Recursive Types Reduced to Inductive Types | Peter J. Freyd |
| 1990 | On the Limits of Efficient Temporal Decidability (Extended Abstract) | E. Allen Emerson, Michael Evangelist, Jai Srinivasan |
| 1990 | Universal Domains in the Theory of Denotational Semantics of Programming Languages | Manfred Droste, Rdiger Gbel |
| 1990 | On Subsumption and Semiunification in Feature Algebras | Jochen Drre, William C. Rounds |
| 1990 | The Theory of Ground Rewrite Systems is Decidable | Max Dauchet, Sophie Tison |
| 1990 | New Foundations for Fixpoint Computations | Roy L. Crole, Andrew M. Pitts |
| 1990 | On the Expression of Monadic Second-Order Graph Properties Without Quantifications Over Sets of Edges (Extended Abstract) | Bruno Courcelle |
| 1990 | Completeness for typed lazy inequalities | Stavros S. Cosmadakis, Albert R. Meyer, Jon G. Riecke |
| 1990 | Solving Inequations in Term Algebras (Extended Abstract) | Hubert Comon |
| 1990 | ALOGTIME and a Conjecture of S. A. Cook (Extended Abstract) | Peter Clote |
| 1990 | When is "Partial" Adequate? A Logic-Based Proof Technique Using Partial Specifications | Rance Cleaveland, Bernhard Steffen |
| 1990 | A Linear Semantics for Allowed Logic Programs | Serenella Cerrito |
| 1990 | Symbolic Model Checking: 10^20 States and Beyond | Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang |
| 1990 | A Categorical Linear Framework for Petri Nets | Carolyn Brown, Doug Gurr |
| 1990 | A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations | Alexandre Boudet, Evelyne Contejean, Herv Devie |
| 1990 | Real-time Logics: Complexity and Expressiveness | Rajeev Alur, Thomas A. Henzinger |