| 1993 | Programs, grammars and arguments: a personal view of some connections between computation, language and logic | Joachim Lambek |
| 1993 | Homomorphic Tree Embeddings and Their Applications to Recursive Program Optimization | Laks V. S. Lakshmanan, Karima Ashraf, Jiawei Han |
| 1993 | A Tutorial on Finite Model Theory (Abstract) | Phokion G. Kolaitis |
| 1993 | Bisimulation and open maps | Andr Joyal, Mogens Nielsen, Glynn Winskel |
| 1993 | Self-Synchronization of Concurrent Processes (Preliminary Report) | Lalita Jategaonkar, Albert R. Meyer |
| 1993 | Standard ML-NJ weak polymorphism and imperative constructs | My Hoang, John C. Mitchell, Ramesh Viswanathan |
| 1993 | Database Query Languages Embedded in the Typed Lambda Calculus | Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson |
| 1993 | A Fully Abstract Denotational Model for Higher-Order Processes (Extended Abstract) | Matthew Hennessy |
| 1993 | A Coinduction Principle for Recursive Data Types Based on Bisimulation | Marcelo P. Fiore |
| 1993 | Encoding the Calculus of Constructions in a Higher-Order Logic | Amy P. Felty |
| 1993 | Asymptotic Probabilities of Languages with Generalized Quantifiers | Guy Fayolle, Stphane Grumbach, Christophe Tollu |
| 1993 | Compositional Analysis for Concurrent Constraint Programming | Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi |
| 1993 | Local and asynchronous beta-reduction (an analysis of Girard's execution formula) | Vincent Danos, Laurent Regnier |
| 1993 | Monadic Second-Order Logic and Hypergraph Orientation | Bruno Courcelle |
| 1993 | Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes | Sren Christensen, Yoram Hirshfeld, Faron Moller |
| 1993 | Automated Production of Traditional Proofs for Constructive Geometry Theorems | Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang |
| 1993 | Full Abstraction for a Shared Variable Parallel Language | Stephen D. Brookes |
| 1993 | A Typed Pattern Calculus | Val Tannen, Delia Kesner, Laurence Puel |
| 1993 | On Model Checking for Real-Time Properties with Durations | Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis |
| 1993 | An Exponential Separation between the Matching Principle and the Pigeonhole Principle | Paul Beame, Toniann Pitassi |
| 1993 | Imperfect information flow | Jon Barwise, Jerry Seligman |
| 1993 | Set Constraints are the Monadic Class | Leo Bachmair, Harald Ganzinger, Uwe Waldmann |
| 1993 | Verifying Programs with Unreliable Channels | Parosh Aziz Abdulla, Bengt Jonsson |
| 1992 | Specification in Software Development | Jeannette M. Wing |
| 1992 | Generalized Quantifiers and Pebble Games on Finite Structures | Phokion G. Kolaitis, Jouko A. Vnnen |