| 2004 | A Bounding Quantifier. Mikolaj Bojanczyk |
| 2004 | A Dependent Type Theory with Names and Binding. Ulrich Schöpp, Ian Stark |
| 2004 | A Functional Scenario for Bytecode Verification of Resource Bounds. Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec |
| 2004 | A General Theorem on Termination of Rewriting. Jeremy E. Dawson, Rajeev Goré |
| 2004 | A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato |
| 2004 | A Third-Order Bounded Arithmetic Theory for PSPACE. Alan Skelley |
| 2004 | Abstract Interpretation of Proofs: Classical Propositional Calculus. Martin Hyland |
| 2004 | Applications of Craig Interpolation to Model Checking. Kenneth L. McMillan |
| 2004 | Automated Generation of Analytic Calculi for Logics with Linearity. Agata Ciabattoni |
| 2004 | Axioms for Delimited Continuations in the CPS Hierarchy. Yukiyoshi Kameyama |
| 2004 | Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. Dale Miller |
| 2004 | Complete Lax Logical Relations for Cryptographic Lambda-Calculi. Jean Goubault-Larrecq, Slawomir Lasota, David Nowak, Yu Zhang |
| 2004 | Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings Jerzy Marcinkowski, Andrzej Tarlecki |
| 2004 | Fixed Points of Type Constructors and Primitive Recursion. Andreas Abel, Ralph Matthes |
| 2004 | Game-Based Notions of Locality Over Finite Models. Marcelo Arenas, Pablo Barceló, Leonid Libkin |
| 2004 | Goal-Directed Methods for Lukasiewicz Logic. George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 2004 | Higher-Order Matching in the Linear lambda-calculus with Pairing. Philippe de Groote, Sylvain Salvati |
| 2004 | Integrating Equational Reasoning into Instantiation-Based Theorem Proving. Harald Ganzinger, Konstantin Korovin |
| 2004 | Intuitionistic LTL and a New Characterization of Safety and Liveness. Patrick Maier |
| 2004 | Logical Characterizations of PSPACE. David Richerby |
| 2004 | Moving in a Crumbling Network: The Balanced Case. Philipp Rohde |
| 2004 | My (Un)Favourite Things. Pawel Urzyczyn |
| 2004 | Notions of Average-Case Complexity for Random 3-SAT. Albert Atserias |
| 2004 | On Nash Equilibria in Stochastic Games. Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski |
| 2004 | On Proof Nets for Multiplicative Linear Logic with Units. Lutz Straßburger, François Lamarche |
| 2004 | On the Building of Affine Retractions. Aleksy Schubert |
| 2004 | Parameterized Model Checking of Ring-Based Message Passing Systems. E. Allen Emerson, Vineet Kahlon |
| 2004 | Parity and Exploration Games on Infinite Graphs. Hugo Gimbert |
| 2004 | Pfaffian Hybrid Systems. Margarita V. Korovina, Nicolai N. Vorobjov Jr. |
| 2004 | Predicate Transformers and Linear Logic: Yet Another Denotational Model. Pierre Hyvernat |
| 2004 | Provably Total Primitive Recursive Functions: Theories with Induction. Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín |
| 2004 | Proving Abstract Non-interference. Roberto Giacobazzi, Isabella Mastroeni |
| 2004 | Set Constraints on Regular Terms. Pawel Rychlikowski, Tomasz Truderung |
| 2004 | Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity. Pietro Di Gianantonio |
| 2004 | Subtyping Union Types. Jerome Vouillon |
| 2004 | The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
| 2004 | The Logic of the Partial lambda-Calculus with Equality. Lutz Schröder |
| 2004 | Towards Mechanized Program Verification with Separation Logic. Tjark Weber |
| 2004 | Unsound Theorem Proving. Christopher Lynch |