Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings
This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented at the festive colloquium, organized by Hermann Maurer at Graz, Austria, in June 1994; the contributing authors are well-known scientists with special...
Bewaard in:
| Andere auteurs: | , , |
|---|---|
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in computer science
812 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
Actes d'un symposium tenu à Graz du 10 au 11 juin 1994, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Mélange :, Salomaa., 1934-2025 |
| Edition sous un autre format: | • Results and trends in theoretical computer science, colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, proceedings, J. Karhumäki, H. Maurer, G. Rozenberg, (eds.), Berlin, Springer-Verlag, 1994, 1 vol. (X-443 p.), Lecture notes in computer science, 0-387-58131-6 • Results and Trends in Theoretical Computer Science, Texte imprimé, 9783662207963 |
| LEADER | 05251nam a22004817a 4500 | ||
|---|---|---|---|
| 001 | 943875 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155166999 | ||
| 020 | |a 9783540484455 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 511.3 | ||
| 240 | 1 | 0 | |a Mélange : |b Salomaa. |n 1934-2025 |
| 245 | 0 | 0 | |a Results and trends in theoretical computer science : |b colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings |c [edited by] J. Karhumäki, H. Maurer, G. Rozenberg. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 812 |x 1611-3349 | |
| 500 | |a Actes d'un symposium tenu à Graz du 10 au 11 juin 1994, d'après l écran-titre | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Generalizing Cook's transformation to imperative stack programs -- A rewriting of Fife's theorem about overlap-free words -- Reconsidering the jeep problem or how to transport a birthday present to Salosauna -- Learning picture sets from examples -- Randomness as an invariant for number representations -- Cooperating grammars' systems: Power and parameters -- Parallel pattern generation with one-way communications -- Dynamic labeled 2-structures with variable domains -- Deciding the NTS property of context-free grammars -- Homomorphic representations by products of tree automata -- Identities and transductions -- Decomposition of infinite labeled 2-structures -- An iteration property of Lindenmayerian power series -- Comparing descriptional and computational complexity of infinite words -- On some open problems concerning the complexity of cellular arrays -- Power of controlled insertion and deletion -- From colonies to eco(grammar)systems -- On the multiplicity equivalence problem for context-free grammars -- On general solution of word equations -- On (left) partial shuffle -- Learning theoretical aspects is important but (Sometimes) dangerous -- Bisimulation, games, and logic -- Cryptographic protocols and voting -- Cryptographic protocols for auctions and bargaining -- On the size of components of cooperating grammar systems -- An elementary algorithmic problem from an advanced standpoint -- Event detection for ODES and nonrecursive hierarchies -- Rediscovering pushdown machines -- String matching algorithms and automata -- Classifying regular languages by their syntactic algebras -- On polynomial matrix equations XT=p(X) and X=p(X) Where all parameters are nonnegative -- Gram's equation A probabilistic proof. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented at the festive colloquium, organized by Hermann Maurer at Graz, Austria, in June 1994; the contributing authors are well-known scientists with special relations to Professor Salomaa as friends, Ph.D. students, or co-authors. The volume reflects the broad spectrum of Professor Salomaa's research interests in theoretical computer science and mathematics with contributions particularly to automata theory, formal language theory, mathematical logic, computability, and cryptography. The appendix presents Professor Salomaa's curriculum vitae and lists the more than 300 papers and 9 books he published. | ||
| 600 | |a Salomaa, Arto, |d 1934-2025 | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Chiffrement (informatique) | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Actes de congrès | ||
| 650 | |a Mélanges et hommages | ||
| 700 | 1 | |a Karhumäki, Juliani. |4 pbd | |
| 700 | 1 | |a Rozenberg, Grzegorz, |d 1942- |4 pbd | |
| 700 | 1 | |a Maurer, Hermann A., |d 1941- |4 pbd | |
| 776 | 0 | |0 019066910 |t Results and trends in theoretical computer science |o colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 |o proceedings |f J. Karhumäki, H. Maurer, G. Rozenberg, (eds.) |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (X-443 p.) |s Lecture notes in computer science |z 0-387-58131-6 | |
| 776 | 0 | |t Results and Trends in Theoretical Computer Science |b Texte imprimé |z 9783662207963 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-58131-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-HCXGQ186-Z |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747924902 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-58131-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750937041 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-58131-6 |z Accès INSA CVL | |
| 997 | |0 943875 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||