| 2005 | Proceedings of the 11th Workshop on Logic, Language, Information and Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004 Ruy J. G. B. de Queiroz, Patrick Cégielski |
| 2004 | A Modal Logic for pi-Calculus and Model Checking Algorithm. Taolue Chen, Tingting Han, Jian Lu |
| 2004 | A Natural Deduction System for Keisler's Quantification. Christian Jacques Rentería, Edward Hermann Haeusler |
| 2004 | Abstract Conditions for the Confluence of Explicit Substitution Calculi. Amelia Râstei |
| 2004 | Composition Theorems for Generalized Sum and Recursively Defined Types. Alexander Moshe Rabinovich |
| 2004 | Deciding Nondeterministic Hierarchy of Deterministic Tree Automata. Damian Niwinski, Igor Walukiewicz |
| 2004 | Default Theories Over Monadic Languages: (Extended Abstract). Michael Kaminski, Julia Mosin |
| 2004 | Differential Interaction Nets. Thomas Ehrhard, Laurent Regnier |
| 2004 | Formal Specification and Verification of Multi-Agent Systems. Mustapha Bourahla, Mohamed Benmohamed |
| 2004 | Fragments of Monadic Second-Order Logics Over Word Structures. Yassine Hachaïchi |
| 2004 | Living with Paradoxes. Manfred Kerber |
| 2004 | On Decidability Properties of Local Sentences. Olivier Finkel |
| 2004 | Preface. Ruy J. G. B. de Queiroz, Patrick Cégielski |
| 2004 | Probabilistically Checkable Proofs Over the Reals. Klaus Meer |
| 2004 | Realizability for Monotone and Clausular (Co)inductive Definitions. Favio Ezequiel Miranda-Perea |
| 2004 | The Implication Problem of Functional Dependencies in Complex-value Databases. Sven Hartmann, Sebastian Link |
| 2004 | Towards a Programming Language in Cellular Computing. Miguel Angel Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez |