| 1998 | Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers Mogens Nielsen, Wolfgang Thomas |
| 1997 | A Conjunctive Logical Characterization of Nondeterministic Linear Time. Frédéric Olive |
| 1997 | A Duality Theory for Quantitative Semantics. Reinhold Heckmann, Michael Huth |
| 1997 | A Formulation of Linear Logic Based on Dependency-Relations. Torben Braüner, Valeria de Paiva |
| 1997 | A Game-Theoretic, Concurrent and Fair Model of the Typed Lambda-calculus, with Full Recursion. Yiannis N. Moschovakis |
| 1997 | A Hierarchical Approach to Monadic Second-Order Logic over Graphs. Ina Schiering |
| 1997 | A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion. Martin Hofmann |
| 1997 | A Proof-Theoretical Investigation of Zantema's Problem. Thierry Coquand, Henrik Persson |
| 1997 | A Sequent Calculus for Circumscription. Piero A. Bonatti, Nicola Olivetti |
| 1997 | A Simple Ordinal Recursive Normalization of Gödel's T. Paul J. Voda |
| 1997 | Call-by-Value Games. Samson Abramsky, Guy McCusker |
| 1997 | Canonization for L Martin Grohe |
| 1997 | Categories with Algebraic Structure. A. John Power |
| 1997 | Classical Proofs via Basic Logic. Claudia Faggian |
| 1997 | Concurrent Constraint Programming and Non-commutative Logic. Paul Ruet, François Fages |
| 1997 | Equational Axioms of Test Algebra. Marco Hollenberg |
| 1997 | Evolution as a Computational Engine. Rolf Backofen, Peter Clote |
| 1997 | Existence of Reduction Hierarchies. Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis |
| 1997 | From Action Calculi to Linear Logic. Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin |
| 1997 | Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract). Chrysafis Hartonas, Matthew Hennessy |
| 1997 | Higher-Order Matching and Tree Automata. Hubert Comon, Yan Jurski |
| 1997 | LISA: A Specification Language Based on WS2S. Abdelwaheb Ayari, David A. Basin, Andreas Podelski |
| 1997 | Linear Lower Bounds and Simulations in Frege Systems with Substitutions. Maria Luisa Bonet, Nicola Galesi |
| 1997 | Mona & Fido: The Logic-Automaton Connection in Practice. Nils Klarlund |
| 1997 | On the Computational Complexity of Type 2 Functionals. Elena Pezzoli |
| 1997 | Padding and the Expressive Power of Existential Second-Order Logics. Thomas Schwentick |
| 1997 | Resolution and the Weak Pigeonhole Principle. Samuel R. Buss, Toniann Pitassi |
| 1997 | Rich omega-Words and Monadic Second-Order Arithmetic. Ludwig Staiger |
| 1997 | Spectra with Only Unary Function Symbols. Arnaud Durand, Ronald Fagin, Bernd Loescher |
| 1997 | The Monadic Quantifier Alternation Hierarchy over Grids and Pictures. Nicole Schweikardt |
| 1997 | Timeless Games. Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier |