70. Birthday: Arto Salomaa, 2004

@proceedings{DBLP:conf/birthday/2004salomaa,
  editor    = {Juhani Karhum{\"a}ki and
               Hermann A. Maurer and
               Gheorghe Paun and
               Grzegorz Rozenberg},
  title     = {Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion
               of His 70th Birthday},
  booktitle = {Theory Is Forever},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3113},
  year      = {2004},
  isbn      = {3-540-22393-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Janusz A. Brzozowski, Radu Negulescu:
  Duality for Three: Ternary Symmetry in Process Spaces. 1-14
  Electronic Edition (link) BibTeX
• Cristian Calude, Solomon Marcus:
  Mathematical Proofs at a Crossroad? 15-28
  Electronic Edition (link) BibTeX
• Christian Choffrut:
  Rational Relations as Rational Series. 29-34
  Electronic Edition (link) BibTeX
• Erzsébet Csuhaj-Varjú:
  Networks of Standard Watson-Crick D0 L Systems with Incomplete Information Communication. 35-48
  Electronic Edition (link) BibTeX
• Erzsébet Csuhaj-Varjú, Jürgen Dassow:
  On the Size of Components of Probabilistic Cooperating Distributed Grammar Systems. 49-59
  Electronic Edition (link) BibTeX
• Pál Dömösi, Carlos Martín-Vide, Victor Mitrana:
  Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free Languages. 60-67
  Electronic Edition (link) BibTeX
• Zoltán Ésik, Werner Kuich:
  A Semiring-Semimodule Generalization of omega-Context-Free Languages. 68-80
  Electronic Edition (link) BibTeX
• Vesa Halava:
  Integer Weighted Finite Automata, Matrices, and Formal Power Series over Laurent Polynomials. 81-88
  Electronic Edition (link) BibTeX
• Tero Harju, Ion Petre, Grzegorz Rozenberg:
  Two Models for Gene Assembly in Ciliates. 89-101
  Electronic Edition (link) BibTeX
• Mika Hirvensalo, Jyrki T. Lahtonen:
  On Self-Dual Bases of the Extensions of the Binary Field. 102-111
  Electronic Edition (link) BibTeX
• Lucian Ilie, Gonzalo Navarro, Sheng Yu:
  On NFA Reductions. 112-124
  Electronic Edition (link) BibTeX
• Masami Ito, Kayoko Shikishima-Tsuji:
  Some Results on Directable Automata. 125-133
  Electronic Edition (link) BibTeX
• Jarkko Kari, Cristopher Moore:
  Rectangles and Squares Recognized by Two-Dimensional Automata. 134-144
  Electronic Edition (link) BibTeX
• Lila Kari, Stavros Konstantinidis, Petr Sosík:
  Substitution on Trajectories. 145-158
  Electronic Edition (link) BibTeX
• Mikko Koivisto, Pasi Rastas, Esko Ukkonen:
  Recombination Systems. 159-169
  Electronic Edition (link) BibTeX
• Alexandru Mateescu:
  Algebraic Aspects of Parikh Matrices. 170-180
  Electronic Edition (link) BibTeX
• Tommi Meskanen, Ari Renvall, Paula Steinby:
  On Distributed Computing on Elliptic Curves. 181-191
  Electronic Edition (link) BibTeX
• Mogens Nielsen, Karl Krukow:
  On the Formal Modelling of Trust in Reputation-Based Systems. 192-204
  Electronic Edition (link) BibTeX
• Valtteri Niemi:
  Issues with Applying Cryptography in Wireless Systems. 205-215
  Electronic Edition (link) BibTeX
• Maurice Nivat:
  On a Tomographic Equivalence Between (0, 1)-Matrices. 216-234
  Electronic Edition (link) BibTeX
• Gheorghe Paun, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez:
  P Systems with Tables of Rules. 235-249
  Electronic Edition (link) BibTeX
• Azaria Paz:
  Some Properties of Multistage Interconnection Networks. 250-258
  Electronic Edition (link) BibTeX
• Kai Salomaa, Derick Wood:
  Structural Equivalence of Regularly Extended E0L Grammars: An Automata Theoretic Proof. 259-267
  Electronic Edition (link) BibTeX
• Peter Verbaan, Jan van Leeuwen, Jirí Wiedermann:
  Complexity of Evolving Interactive Systems. 268-281
  Electronic Edition (link) BibTeX