| 1990 | 0-1 Laws for Infinitary Logics (Preliminary Report) Phokion G. Kolaitis, Moshe Y. Vardi |
| 1990 | A Categorical Linear Framework for Petri Nets Carolyn Brown, Doug Gurr |
| 1990 | A Constraint Sequent Calculus Jean-Louis Lassez, Ken McAloon |
| 1990 | A Constructive Proof of Higman's Lemma Chetan R. Murthy, James R. Russell |
| 1990 | A Decision Procedure for a Class of Set Constraints (Extended Abstract) Nevin Heintze, Joxan Jaffar |
| 1990 | A Linear Semantics for Allowed Logic Programs Serenella Cerrito |
| 1990 | A Logic of Concrete Time Intervals (Extended Abstract) Harry R. Lewis |
| 1990 | A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations Alexandre Boudet, Evelyne Contejean, Hervé Devie |
| 1990 | A Per Model of Polymorphism and Recursive Types Martín Abadi, Gordon D. Plotkin |
| 1990 | A Theory of Nonmonotonic Rule Systems V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1990 | ALOGTIME and a Conjecture of S. A. Cook (Extended Abstract) Peter Clote |
| 1990 | Completeness for typed lazy inequalities Stavros S. Cosmadakis, Albert R. Meyer, Jon G. Riecke |
| 1990 | Conditional Lambda-Theories and the Verification of Static Properties of Programs Mitchell Wand, Zheng-Yu Wang |
| 1990 | Effective Domains and Intrinsic Structure Wesley Phoa |
| 1990 | Equation Solving Using Modal Transition Systems Kim Guldstrand Larsen, Xinxin Liu |
| 1990 | Explicit Clock Temporal Logic Eyal Harel, Orna Lichtenstein, Amir Pnueli |
| 1990 | Extensional PERs Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott |
| 1990 | Implicit Definability on Finite Structures and Unambiguous Computations (Preliminary Report) Phokion G. Kolaitis |
| 1990 | Model-Checking for Real-Time Systems Rajeev Alur, Costas Courcoubetis, David L. Dill |
| 1990 | Modelling Shared State in a Shared Action Model Kenneth J. Goldman, Nancy A. Lynch |
| 1990 | New Foundations for Fixpoint Computations Roy L. Crole, Andrew M. Pitts |
| 1990 | Normal Process Representatives Vijay Gehlot, Carl A. Gunter |
| 1990 | On Subsumption and Semiunification in Feature Algebras Jochen Dörre, William C. Rounds |
| 1990 | On the Expression of Monadic Second-Order Graph Properties Without Quantifications Over Sets of Edges (Extended Abstract) Bruno Courcelle |
| 1990 | On the Limits of Efficient Temporal Decidability (Extended Abstract) E. Allen Emerson, Michael Evangelist, Jai Srinivasan |
| 1990 | On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) David Harel, Roni Rosner, Moshe Y. Vardi |
| 1990 | Polymorphism, Set Theory, and Call-by-Value Edmund Robinson, Giuseppe Rosolini |
| 1990 | Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990 |
| 1990 | Programming in Equational Logic: Beyond Strong Sequentiality R. C. Sekar, I. V. Ramakrishnan |
| 1990 | Proof Transformations for Equational Theories Tobias Nipkow |
| 1990 | Reactive, Generative, and Stratified Models of Probabilistic Processes Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts |
| 1990 | Real-time Logics: Complexity and Expressiveness Rajeev Alur, Thomas A. Henzinger |
| 1990 | Recursive Types Reduced to Inductive Types Peter J. Freyd |
| 1990 | Single-Threaded Polymorphic Lambda Calculus Juan C. Guzmán, Paul Hudak |
| 1990 | Solving Inequations in Term Algebras (Extended Abstract) Hubert Comon |
| 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 | Syntactic Theories and Unification Claude Kirchner, Francis Klay |
| 1990 | The Classification of Continuous Domains (Extended Abstract) Achim Jung |
| 1990 | The Dynamic Logic of Permission Ron van der Meyden |
| 1990 | The Nonexistence of Finite Axiomatisations for CCS Congruences Faron Moller |
| 1990 | The Semantics of Reflected Proof Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken |
| 1990 | The Theory of Ground Rewrite Systems is Decidable Max Dauchet, Sophie Tison |
| 1990 | Three Logics for Branching Bisimulation (Extended Abstract) Rocco De Nicola, Frits W. Vaandrager |
| 1990 | Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary) A. J. Kfoury, Jerzy Tiuryn |
| 1990 | Universal Domains in the Theory of Denotational Semantics of Programming Languages Manfred Droste, Rüdiger Göbel |
| 1990 | Well Rewrite Orderings Pierre Lescanne |
| 1990 | When is "Partial" Adequate? A Logic-Based Proof Technique Using Partial Specifications Rance Cleaveland, Bernhard Steffen |