Electronic Notes in Theoretical Computer Science, Volume 123

Volume 123, March 2005

• 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