Table of contents

  1. Front Matter
  2. Galina Jirásková
    Pages 12-18
  3. Klaus-Jörn Lange
    Pages 19-36
  4. Michel Latteux
    Pages 37-54
  5. Katsushi Inoue, Itsuo Takanami
    Pages 72-91
  6. Akira Ito, Katsushi Inoue, Itsuo Takanami
    Pages 92-101
  7. Daniele Cortolezzis
    Pages 115-127
  8. Martin Loebl, Jaroslav Nešetřil
    Pages 146-151
  9. Derick Wood
    Pages 161-168
  10. Frank van Harmelen
    Pages 169-187
  11. Arto Salomaa
    Pages 220-244

About these proceedings


The volume contains selected contributions from the scientific programme of the 5th International Meeting of Young Computer Scientists (IMYCS '88) held at Smolenice Castle (Czechoslovakia), November 14-18, 1988. It is divided into five chapters which approach the three crucial notions of contemporary theoretical computer science - machines, languages, and complexity - from different perspectives. The first chapter contains contributions dealing with problems of decidability, hierarchy, and complexity. Papers concerning different types and problems of automata theory form the second chapter. The contributions in the third chapter cover the large field of algorithmics from the study of program complexity to the domain of computational geometry. The two contributions of the fourth chapter are devoted to logic programming and inductive inference. The final chapter deals with problems of cryptography and contains the text of the IMYCS '88 tutorial on cryptography and data security delivered by A. Salomaa. The book will be a useful source for orientation in contemporary theoretical computer science and related fields such as software engineering and artificial intelligence for researchers and graduate students.


Algorithms Automat algorithm artificial intelligence automata automata theory complexity computational geometry intelligence logic programming

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-51516-6
  • Online ISBN 978-3-540-48203-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site