Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings. 1st ed. 1994

種類:

電子ブック

責任表示:

edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994

著者名:

• Karhumäki, Juliani.
• Maurer, Hermann.
• Rozenberg, Grzegorz.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 812

ISBN:

9783540484455 [3540484450]    

注記:

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 -
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.

ローカル注記:

岐阜大学構成員専用E-BOOKS (Gifu University members only)