1. Timed tree automata with an application to temporal logic

   • Salvatore La Torre
   • Margherita Napoli

   Pages: 89 - 116

2. Group weighted finite transducers

   • Masami Ito
   • Carlos Martín-Vide
   • Victor Mitrana

   Pages: 117 - 129

3. Tree-systems of morphisms

   • Jürgen Dassow
   • Gheorghe Păun
   • Sheng Yu

   Pages: 131 - 153