| 1999 | Program Schemes, Arrays, Lindstrm Quantifiers and Zero-One Laws. | Iain A. Stewart |
| 1999 | On Guarding Nested Fixpoints. | Helmut Seidl, Andreas Neumann |
| 1999 | A P-Time Completeness Proof for Light Logics. | Luca Roversi |
| 1999 | Signed Interval Logic. | Thomas Marthedal Rasmussen |
| 1999 | Logical Specification of Operational Semantics. | Peter D. Mosses |
| 1999 | Difference Decision Diagrams. | Jesper B. Mller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard |
| 1999 | Term Rewriting. | Aart Middeldorp |
| 1999 | Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Frass Games. | Jerzy Marcinkowski |
| 1999 | Applicative Control and Computational Complexity. | Daniel Leivant |
| 1999 | MonadicNLIN and Quantifier-Free Reductions. | Clemens Lautemann, Bernhard Weinzinger |
| 1999 | A Logical Viewpoint on Process-Algebraic Quotients. | Antonn Kucera, Javier Esparza |
| 1999 | Data-Refinement for Call-By-Value Programming Languages. | Yoshiki Kinoshita, John Power |
| 1999 | Verifying Liveness by Augmented Abstraction. | Yonit Kesten, Amir Pnueli |
| 1999 | A Universal Innocent Game Model for the Bhm Tree Lambda Theory. | Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong |
| 1999 | Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. | Samin S. Ishtiaq, David J. Pym |
| 1999 | Interactive Theorem Proving Using Type Theory. | Douglas J. Howe |
| 1999 | Pre-logical Relations. | Furio Honsell, Donald Sannella |
| 1999 | Quantitative Temporal Logic. | Yoram Hirshfeld, Alexander Moshe Rabinovich |
| 1999 | Specification Refinement with System F. | Jo Erskine Hannay |
| 1999 | Resolution Method for Modal Logic with Well-Founded Frames. | Shigeki Hagihara, Naoki Yonezaki |
| 1999 | Descriptive and Parameterized Complexity. | Martin Grohe |
| 1999 | Descriptive Complexity Theory for Constraint Databases. | Erich Grdel, Stephan Kreutzer |
| 1999 | Safe Proof Checking in Type Theory with Y. | Herman Geuvers, Erik Poll, Jan Zwanenburg |
| 1999 | A Truly Concurrent Semantics for a Simple Parallel Programming Language. | Paul Gastin, Michael W. Mislove |
| 1999 | Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States. | Martin Frnzle |