| 2004 | Set Constraints on Regular Terms. | Pawel Rychlikowski, Tomasz Truderung |
| 2004 | Moving in a Crumbling Network: The Balanced Case. | Philipp Rohde |
| 2004 | Logical Characterizations of PSPACE. | David Richerby |
| 2004 | Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. | Dale Miller |
| 2004 | Goal-Directed Methods for Lukasiewicz Logic. | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 2004 | Applications of Craig Interpolation to Model Checking. | Kenneth L. McMillan |
| 2004 | Intuitionistic LTL and a New Characterization of Safety and Liveness. | Patrick Maier |
| 2004 | Unsound Theorem Proving. | Christopher Lynch |
| 2004 | Pfaffian Hybrid Systems. | Margarita V. Korovina, Nicolai N. Vorobjov Jr. |
| 2004 | Axioms for Delimited Continuations in the CPS Hierarchy. | Yukiyoshi Kameyama |
| 2004 | The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. | Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
| 2004 | Predicate Transformers and Linear Logic: Yet Another Denotational Model. | Pierre Hyvernat |
| 2004 | Abstract Interpretation of Proofs: Classical Propositional Calculus. | Martin Hyland |
| 2004 | Higher-Order Matching in the Linear lambda-calculus with Pairing. | Philippe de Groote, Sylvain Salvati |
| 2004 | Complete Lax Logical Relations for Cryptographic Lambda-Calculi. | Jean Goubault-Larrecq, Slawomir Lasota, David Nowak, Yu Zhang |
| 2004 | Parity and Exploration Games on Infinite Graphs. | Hugo Gimbert |
| 2004 | Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity. | Pietro Di Gianantonio |
| 2004 | Proving Abstract Non-interference. | Roberto Giacobazzi, Isabella Mastroeni |
| 2004 | Integrating Equational Reasoning into Instantiation-Based Theorem Proving. | Harald Ganzinger, Konstantin Korovin |
| 2004 | Parameterized Model Checking of Ring-Based Message Passing Systems. | E. Allen Emerson, Vineet Kahlon |
| 2004 | A General Theorem on Termination of Rewriting. | Jeremy E. Dawson, Rajeev Gor |
| 2004 | Provably Total Primitive Recursive Functions: Theories with Induction. | Andrs Cordn-Franco, Alejandro Fernndez-Margarit, Francisco Flix Lara Martn |
| 2004 | Automated Generation of Analytic Calculi for Logics with Linearity. | Agata Ciabattoni |
| 2004 | On Nash Equilibria in Stochastic Games. | Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski |
| 2004 | A Bounding Quantifier. | Mikolaj Bojanczyk |