| 2004 | 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings |
| 2004 | A Categorical Semantics of Quantum Protocols. Samson Abramsky, Bob Coecke |
| 2004 | A Computational Interpretation of Open Induction. Ulrich Berger |
| 2004 | A Graph of a Relational Structure and Constraint Satisfaction Problems. Andrei A. Bulatov |
| 2004 | A Landscape with Games in the Backgroun. Igor Walukiewicz |
| 2004 | A Second-Order Theory for NL. Stephen A. Cook, Antonina Kolokolova |
| 2004 | A Sequent Calculus for Nominal Logic. Murdoch Gabbay, James Cheney |
| 2004 | A Symmetric Modal Lambda Calculus for Distributed Computing. Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning |
| 2004 | An Algebraic Approach to the Complexity of Propositional Circumscription. Gustav Nordh, Peter Jonsson |
| 2004 | An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach |
| 2004 | Automatic Structures: Richness and Limitations. Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan |
| 2004 | Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space. Michael Huth |
| 2004 | Bisimulation: From The Origins to Today. Davide Sangiorgi |
| 2004 | Congruence for SOS with Data. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote |
| 2004 | Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. Sanjit A. Seshia, Randal E. Bryant |
| 2004 | Equicardinality on Linear Orders. Kerkko Luosto |
| 2004 | Feasible Proofs and Computations: Partnership and Fusion. Alexander A. Razborov |
| 2004 | First-Order Definable Retraction Problems for Posets and Reflexive Graph. Víctor Dalmau, Andrei A. Krokhin, Benoît Larose |
| 2004 | From Automata to Formulas: Convex Integer Polyhedra. Louis Latour |
| 2004 | Games with Secure Equilibria. Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski |
| 2004 | High-Level Methods for Quantum Computation and Information. Samson Abramsky |
| 2004 | Light Types for Polynomial Time Computation in Lambda-Calculus. Patrick Baillot, Kazushige Terui |
| 2004 | Model Checking Probabilistic Pushdown Automata. Javier Esparza, Antonín Kucera, Richard Mayr |
| 2004 | Model Checking Synchronized Products of Infinite Transition Systems. Stefan Wöhrle, Wolfgang Thomas |
| 2004 | Model-Checking Problems as a Basis for Parameterized Intractability. Jörg Flum, Martin Grohe |
| 2004 | Multi-Clock Timed Networks. Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata |
| 2004 | Nominal Games and Full Abstraction for the Nu-Calculus. Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian David Bede Stark |
| 2004 | On the Automata Size for Presburger Arithmetic. Felix Klaedtke |
| 2004 | On the Geometry of Interaction for Classical Logic. Carsten Führmann, David J. Pym |
| 2004 | On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap. Joël Ouaknine, James Worrell |
| 2004 | Parametric Limits. Brian P. Dunphy, Uday S. Reddy |
| 2004 | Proof Nets and Boolean Circuits. Kazushige Terui |
| 2004 | Proving Termination Assertions in Dynamic Logics. Daniel Leivant |
| 2004 | Self-Adjusting Computation. Robert Harper |
| 2004 | Semantics of a Sequential Language for Exact Real-Number Computation. José Raymundo Marcial-Romero, Martín Hötzel Escardó |
| 2004 | Spi Calculus Translated to ?--Calculus Preserving May-Tests. Michael Baldamus, Joachim Parrow, Björn Victor |
| 2004 | Testing, Optimizaton, and Games. Mihalis Yannakakis |
| 2004 | The Existence of Finite Abstractions for Branching Time Model Checking. Dennis Dams, Kedar S. Namjoshi |
| 2004 | The Omega Rule is II_2^0-Hard in the lambda beta -Calculus. Benedetto Intrigila, Richard Statman |
| 2004 | The Sensible Graph Theories of Lambda Calculus. Antonio Bucciarelli, Antonino Salibra |
| 2004 | The Strength of Replacement in Weak Arithmetic. Stephen A. Cook, Neil Thapen |
| 2004 | The Succinctness of First-Order Logic on Linear Orders. Martin Grohe, Nicole Schweikardt |
| 2004 | Three-Valued Abstractions of Games: Uncertainty, but with Precision. Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan |
| 2004 | Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State. David A. Naumann, Michael Barnett |
| 2004 | Transition Invariants. Andreas Podelski, Andrey Rybalchenko |
| 2004 | VTC Phuong Nguyen, Stephen A. Cook |
| 2004 | Vector Addition Tree Automata. Philippe de Groote, Bruno Guillaume, Sylvain Salvati |