Volume 123, March 2005

Proceedings of the 11th Workshop on Logic, Language, Information and Computation (WoLLIC 2004)

• 
  Ruy J. G. B. de Queiroz, Patrick Cégielski: Preface. 1-3
• 
  Mustapha Bourahla, Mohamed Benmohamed: Formal Specification and Verification of Multi-Agent Systems. 5-17
• 
  Taolue Chen, Tingting Han, Jian Lu: A Modal Logic for pi-Calculus and Model Checking Algorithm. 19-33
• 
  Thomas Ehrhard, Laurent Regnier: Differential Interaction Nets. 35-74
• 
  Olivier Finkel: On Decidability Properties of Local Sentences. 75-92
• 
  Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez: Towards a Programming Language in Cellular Computing. 93-110
• 
  Yassine Hachaïchi: Fragments of Monadic Second-Order Logics Over Word Structures. 111-123
• 
  Sven Hartmann, Sebastian Link: The Implication Problem of Functional Dependencies in Complex-value Databases. 125-137
• 
  Michael Kaminski, Julia Mosin: Default Theories Over Monadic Languages: (Extended Abstract). 139-149
• 
  Manfred Kerber: Living with Paradoxes. 151-163
• 
  Klaus Meer: Probabilistically Checkable Proofs Over the Reals. 165-177
• 
  Favio E. Miranda-Perea: Realizability for Monotone and Clausular (Co)inductive Definitions. 179-193
• 
  Damian Niwinski, Igor Walukiewicz: Deciding Nondeterministic Hierarchy of Deterministic Tree Automata. 195-208
• 
  Alexander Moshe Rabinovich: Composition Theorems for Generalized Sum and Recursively Defined Types. 209-211
• 
  Amelia Râstei: Abstract Conditions for the Confluence of Explicit Substitution Calculi. 213-228
• 
  Christian Jacques Rentería, Edward Hermann Haeusler: A Natural Deduction System for Keisler's Quantification. 229-240