Table of contents

  1. Front Matter
  2. Bernhard Steffen
    Pages 1-20
  3. Gerth Stølting Brodal
    Pages 21-32
  4. Paolo Giulio Franciosa, Daniele Frigioni, Roberto Giaccio
    Pages 33-46
  5. Robert Koch, Norbert Blum
    Pages 47-54
  6. Juraj Hromkovič, Sebastian Seibert, Thomas Wilke
    Pages 55-66
  7. Christophe Fiorio, Jens Gustedt
    Pages 67-79
  8. Matthias Schröder
    Pages 81-92
  9. Harald Hempel, Gerd Wechsung
    Pages 93-104
  10. Harry Buhrman, Lance Fortnow
    Pages 105-116
  11. Pavol Ďuriš, Juraj Hromkovič, José D. P. Rolim, Georg Schnitger
    Pages 117-128
  12. Claudia Bertram-Kretzberg, Hanno Lefmann
    Pages 141-152
  13. Luca de Alfaro, Arjun Kapur, Zohar Manna
    Pages 153-164
  14. Carsten Weise, Dirk Lenzkes
    Pages 177-188
  15. John Case, Efim Kinber, Arun Sharma, Frank Stephan
    Pages 225-236

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lübeck, Germany, in February/March 1997.
The 46 revised full papers included were carefully selected from a total of 139 submissions; also included are three invited full papers. The papers presented span the whole scope of theoretical computer science. Among the topics covered are, in particular, algorithms and data structures, computational complexity, automata and formal languages, structural complexity, parallel and distributed systems, parallel algorithms, semantics, specification and verification, logic, computational geometry, cryptography, learning and inductive inference.

Keywords

Automat algorithm algorithms automata complexity computational geometry computer science data structure data structures distributed systems formal language formal languages logic semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0023443
  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-62616-9
  • Online ISBN 978-3-540-68342-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book