Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
Saved in:
| Imprint: | Berlin ; New York, NY : Springer, 2004. |
|---|---|
| Description: | x, 281 p. : ill., port. ; 24 cm. |
| Language: | English |
| Series: | Lecture notes in computer science ; 3113 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/5210257 |
Table of Contents:
- Duality for three : ternary symmetry in process spaces / Janusz Brzozowski and Radu Negulescu
- Mathematical proofs at a crossroad? / Cristian S. Calude and Solomon Marcus
- Rational relations as rational series / Christian Choffrut
- Networks of standard Watson-Crick DOL systems with incomplete information communication / Erzsebet Csuhaj-Varju
- On the size of components of probabilistic cooperating distributed grammar systems / Erzsebet Csuhaj-Varju and Jurgen Dassow
- Remarks on sublanguages consisting of primitive words of slender regular and context-free languages / Pal Domosi, Carlos Martin-Vide and Victor Mitrana
- A semiring-semimodule generalization of [omega]-context-free languages / Zoltan Esik and Werner Kuich
- Integer weighted finite automata, matrices, and formal power series over Laurent polynomials / Vesa Halava
- Two models for gene assembly in ciliates / Tero Harju, Ion Petre and Grzegorz Rozenberg
- On self-dual bases of the extensions of the binary field / Mika Hirvensalo and Jyrki Lahtonen
- On NFA reductions / Lucian Ilie, Gonzalo Navarro and Sheng Yu
- Some results on directable automata / Masami Ito and Kayoko Shikishima-Tsuji
- Rectangles and squares recognized by two-dimensional automata / Jarkko Kari and Cristopher Moore
- Substitution on trajectories / Lila Kari, Stavros Konstantinidis and Petr Sosik
- Recombination systems / Mikko Koivisto, Pasi Rastas and Esko Ukkonen
- Algebraic aspects of Parikh matrices / Alexandru Mateescu
- On distributed computing on elliptic curves / Tommi Meskanen, Ari Renvall and Paula Steinby
- On the formal modelling of trust in reputation-based systems / Mogens Nielsen and Karl Krukow
- Issues with applying cryptography in wireless systems / Valtteri Niemi
- On a tomographic equivalence between (0,1)-matrices / Maurice Nivat
- P systems with tables of rules / Gheorghe Paun, Mario J. Perez-Jimenez and Agustin Riscos-Nunez
- Some properties of multistage interconnection networks / Azaria Paz
- Structural equivalence of regularly extended E0L grammars : an automata theoretic proof / Kai Salomaa and Derick Wood
- Complexity of evolving interactive systems / Peter Verbaan, Jan van Leeuwen and Jiri Wiedermann.
