|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
5210257 |
003 |
ICU |
005 |
20050516160400.0 |
008 |
040716s2004 gw a 011 0 eng d |
016 |
7 |
|
|a 971621489
|2 GyFmDB
|
020 |
|
|
|a 3540223932 (pbk.)
|
040 |
|
|
|a OHX
|c OHX
|d CUS
|d UtOrBLW
|d UtOrBLW
|d OrLoB-B
|
049 |
|
|
|a CGUA
|
072 |
|
7 |
|a QA
|2 lcco
|
090 |
|
|
|a QA76.9.M35
|b T44 2004
|
245 |
0 |
0 |
|a Theory is forever :
|b essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
|c Juhani Karhumäki ... [et al.].
|
246 |
1 |
|
|a Essays dedicated to Arto Salomaa on the occasion of his 70th birthday
|
260 |
|
|
|a Berlin ;
|a New York, NY :
|b Springer,
|c 2004.
|
300 |
|
|
|a x, 281 p. :
|b ill., port. ;
|c 24 cm.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
440 |
|
0 |
|a Lecture notes in computer science ;
|v 3113
|
504 |
|
|
|a Includes bibliographical references and index.
|
505 |
0 |
0 |
|t Duality for three : ternary symmetry in process spaces /
|r Janusz Brzozowski and Radu Negulescu --
|t Mathematical proofs at a crossroad? /
|r Cristian S. Calude and Solomon Marcus --
|t Rational relations as rational series /
|r Christian Choffrut --
|t Networks of standard Watson-Crick DOL systems with incomplete information communication /
|r Erzsebet Csuhaj-Varju --
|t On the size of components of probabilistic cooperating distributed grammar systems /
|r Erzsebet Csuhaj-Varju and Jurgen Dassow --
|t Remarks on sublanguages consisting of primitive words of slender regular and context-free languages /
|r Pal Domosi, Carlos Martin-Vide and Victor Mitrana --
|t A semiring-semimodule generalization of [omega]-context-free languages /
|r Zoltan Esik and Werner Kuich --
|t Integer weighted finite automata, matrices, and formal power series over Laurent polynomials /
|r Vesa Halava --
|t Two models for gene assembly in ciliates /
|r Tero Harju, Ion Petre and Grzegorz Rozenberg --
|t On self-dual bases of the extensions of the binary field /
|r Mika Hirvensalo and Jyrki Lahtonen --
|t On NFA reductions /
|r Lucian Ilie, Gonzalo Navarro and Sheng Yu --
|t Some results on directable automata /
|r Masami Ito and Kayoko Shikishima-Tsuji --
|t Rectangles and squares recognized by two-dimensional automata /
|r Jarkko Kari and Cristopher Moore --
|t Substitution on trajectories /
|r Lila Kari, Stavros Konstantinidis and Petr Sosik --
|t Recombination systems /
|r Mikko Koivisto, Pasi Rastas and Esko Ukkonen --
|t Algebraic aspects of Parikh matrices /
|r Alexandru Mateescu --
|t On distributed computing on elliptic curves /
|r Tommi Meskanen, Ari Renvall and Paula Steinby --
|t On the formal modelling of trust in reputation-based systems /
|r Mogens Nielsen and Karl Krukow --
|t Issues with applying cryptography in wireless systems /
|r Valtteri Niemi --
|t On a tomographic equivalence between (0,1)-matrices /
|r Maurice Nivat --
|t P systems with tables of rules /
|r Gheorghe Paun, Mario J. Perez-Jimenez and Agustin Riscos-Nunez --
|t Some properties of multistage interconnection networks /
|r Azaria Paz --
|t Structural equivalence of regularly extended E0L grammars : an automata theoretic proof /
|r Kai Salomaa and Derick Wood --
|t Complexity of evolving interactive systems /
|r Peter Verbaan, Jan van Leeuwen and Jiri Wiedermann.
|
650 |
|
0 |
|a Computer science.
|0 http://id.loc.gov/authorities/subjects/sh89003285
|
650 |
|
0 |
|a Computer science
|x Mathematics.
|0 http://id.loc.gov/authorities/subjects/sh85042295
|
650 |
|
0 |
|a Machine theory.
|0 http://id.loc.gov/authorities/subjects/sh85079341
|
650 |
|
7 |
|a Computer science.
|2 fast
|0 http://id.worldcat.org/fast/fst00872451
|
650 |
|
7 |
|a Computer science
|x Mathematics.
|2 fast
|0 http://id.worldcat.org/fast/fst00872460
|
650 |
|
7 |
|a Machine theory.
|2 fast
|0 http://id.worldcat.org/fast/fst01004846
|
600 |
1 |
0 |
|a Salomaa, Arto.
|0 http://id.loc.gov/authorities/names/n50016575
|1 http://viaf.org/viaf/108122679
|
700 |
1 |
|
|a Salomaa, Arto.
|0 http://id.loc.gov/authorities/names/n50016575
|1 http://viaf.org/viaf/108122679
|
700 |
1 |
|
|a Karhumäki, Juhani.
|0 http://id.loc.gov/authorities/names/n80063572
|1 http://viaf.org/viaf/85190858
|
901 |
|
|
|a ToCBNA
|
903 |
|
|
|a HeVa
|
035 |
|
|
|a (OCoLC)55963155
|
929 |
|
|
|a cat
|
999 |
f |
f |
|i 3e86969d-71f2-50ee-b5cc-3c3946d55aa6
|s 239d8005-1e26-563e-ad95-bb5f08aa10a9
|
928 |
|
|
|t Library of Congress classification
|a QA76.9.M35 T44 2004
|l ASR
|c ASR-SciASR
|i 4885265
|
927 |
|
|
|t Library of Congress classification
|a QA76.9.M35 T44 2004
|l ASR
|c ASR-SciASR
|e CRERAR
|b 65069567
|i 7734783
|