default search action
70. Birthday: Arto Salomaa, 2004
- Juhani Karhumäki, Hermann A. Maurer, Gheorghe Paun, Grzegorz Rozenberg:
Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 3113, Springer 2004, ISBN 3-540-22393-2 - Janusz A. Brzozowski, Radu Negulescu:
Duality for Three: Ternary Symmetry in Process Spaces. 1-14 - Cristian Calude, Solomon Marcus:
Mathematical Proofs at a Crossroad? 15-28 - Christian Choffrut:
Rational Relations as Rational Series. 29-34 - Erzsébet Csuhaj-Varjú:
Networks of Standard Watson-Crick D0 L Systems with Incomplete Information Communication. 35-48 - Erzsébet Csuhaj-Varjú, Jürgen Dassow:
On the Size of Components of Probabilistic Cooperating Distributed Grammar Systems. 49-59 - 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 - Zoltán Ésik, Werner Kuich:
A Semiring-Semimodule Generalization of omega-Context-Free Languages. 68-80 - Vesa Halava:
Integer Weighted Finite Automata, Matrices, and Formal Power Series over Laurent Polynomials. 81-88 - Tero Harju, Ion Petre
Two Models for Gene Assembly in Ciliates. 89-101 - Mika Hirvensalo, Jyrki T. Lahtonen:
On Self-Dual Bases of the Extensions of the Binary Field. 102-111 - Lucian Ilie
On NFA Reductions. 112-124 - Masami Ito, Kayoko Shikishima-Tsuji:
Some Results on Directable Automata. 125-133 - Jarkko Kari, Cristopher Moore
Rectangles and Squares Recognized by Two-Dimensional Automata. 134-144 - Lila Kari, Stavros Konstantinidis
Substitution on Trajectories. 145-158 - Mikko Koivisto, Pasi Rastas, Esko Ukkonen:
Recombination Systems. 159-169 - Alexandru Mateescu:
Algebraic Aspects of Parikh Matrices. 170-180 - Tommi Meskanen, Ari Renvall, Paula Steinby:
On Distributed Computing on Elliptic Curves. 181-191 - Mogens Nielsen, Karl Krukow:
On the Formal Modelling of Trust in Reputation-Based Systems. 192-204 - Valtteri Niemi:
Issues with Applying Cryptography in Wireless Systems. 205-215 - Maurice Nivat:
On a Tomographic Equivalence Between (0, 1)-Matrices. 216-234 - Gheorghe Paun, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez:
P Systems with Tables of Rules. 235-249 - Azaria Paz:
Some Properties of Multistage Interconnection Networks. 250-258 - Kai Salomaa, Derick Wood:
Structural Equivalence of Regularly Extended E0L Grammars: An Automata Theoretic Proof. 259-267 - Peter Verbaan, Jan van Leeuwen, Jirí Wiedermann
Complexity of Evolving Interactive Systems. 268-281
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: