Results and Trends in Theoretical Computer Science

Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings

  • Editors
  • Juliani Karhumäki
  • Hermann Maurer
  • Grzegorz Rozenberg

Part of the Lecture Notes in Computer Science book series (LNCS, volume 812)

Table of contents

  1. Front Matter
  2. Nils Andersen, Neil D. Jones
    Pages 1-18
  3. Anne Brüggemann-Klein, Petra Fischer, Thomas Ottmann
    Pages 34-43
  4. C. Calude, H. Jürgensen
    Pages 44-66
  5. Erzsébet Csuhaj-Varjú
    Pages 67-84
  6. Karel Culik II, Jarkko Kari
    Pages 85-96
  7. A. Ehrenfeucht, G. Rozenberg
    Pages 97-123
  8. T. Harju, H. J. Hoogeboom, H. C. M. Kleijn
    Pages 140-144
  9. T. Harju, G. Rozenberg
    Pages 145-158
  10. Juraj Hromkovič, Juhani Karhumäki, Arto Lepistö
    Pages 169-182
  11. Alica Kelemenová, Jozef Kelemen
    Pages 213-231
  12. G. S. Makanin, H. Abdulrab
    Pages 251-263
  13. Alexandru Mateescu
    Pages 264-278
  14. Mogens Nielsen, Christian Clausen
    Pages 289-306
  15. Valtteri Niemi, Ari Renvall
    Pages 307-316
  16. Gheorghe Păun, Jürgen Dassow, Stefan Skalla
    Pages 325-343
  17. Kai Salomaa, Derick Wood, Sheng Yu
    Pages 372-385
  18. Imre Simon
    Pages 386-395
  19. Back Matter

About this book


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.


Algorithmen und Komplexität Automatentheorie Formale Sprachen Grammatik-Systeme Variable Wort-Gleichungen algorithm algorithms automata communication computability cryptography formal language logic sets

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58131-4
  • Online ISBN 978-3-540-48445-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods