Theoretical Computer Science, Volume 376

Volume 376, Numbers 1-2, May 2007

• Oscar H. Ibarra:
  Developments in language theory. 1-2
  Electronic Edition (link) BibTeX

• Andrzej Ehrenfeucht, Grzegorz Rozenberg:
  Events and modules in reaction systems. 3-16
  Electronic Edition (link) BibTeX
• Yuri Gurevich, Margus Veanes, Charles Wallace:
  Can abstract state machines be useful in language theory? 17-29
  Electronic Edition (link) BibTeX
• Dimitry S. Ananichev, Mikhail V. Volkov, Yu. I. Zaks:
  Synchronizing automata with a letter of deficiency 2. 30-41
  Electronic Edition (link) BibTeX
• Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter:
  Equivalence of simple functions. 42-51
  Electronic Edition (link) BibTeX
• Olivier Carton:
  The growth ratio of synchronous rational relations is unique. 52-59
  Electronic Edition (link) BibTeX
• Yo-Sub Han, Arto Salomaa, Kai Salomaa, Derick Wood, Sheng Yu:
  On the existence of prime decompositions. 60-69
  Electronic Edition (link) BibTeX
• Dalia Krieger:
  On critical exponents in fixed points of non-erasing morphisms. 70-88
  Electronic Edition (link) BibTeX
• Manfred Kufleitner:
  Polynomials, fragments of temporal logic and the variety DA over traces. 89-100
  Electronic Edition (link) BibTeX
• Martin Kutrib, Andreas Malcher:
  Context-dependent nondeterminism for pushdown automata. 101-111
  Electronic Edition (link) BibTeX
• Alexander Okhotin, Oksana Yakimova:
  Language equations with complementation: Decision problems. 112-126
  Electronic Edition (link) BibTeX
• Bala Ravikumar:
  On some variations of two-way probabilistic finite automata models. 127-136
  Electronic Edition (link) BibTeX

Volume 376, Number 3, May 2007

• Maura Cerioli, Tiziana Margaria, Michel Wermelinger:
  Foreword. 137-138
  Electronic Edition (link) BibTeX

• Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer:
  Attributed graph transformation with node type inheritance. 139-163
  Electronic Edition (link) BibTeX
• Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti:
  Automated compositional proofs for real-time systems. 164-184
  Electronic Edition (link) BibTeX
• Gruia-Catalin Roman, Christine Julien, Jamie Payton:
  Modeling adaptive behaviors in Context UNITY. 185-204
  Electronic Edition (link) BibTeX
• David A. Naumann:
  Observational purity and encapsulation. 205-224
  Electronic Edition (link) BibTeX