Advertisement

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
  16. Gabriele Kern-Isberner
    Pages 237-248
  17. Erich Grädel, Martin Otto, Eric Rosen
    Pages 249-260
  18. Stéphane Gaubert, Max Plus
    Pages 261-282
  19. Jonathan Goldstine, Hing Leung, Detlef Wotschke
    Pages 295-306
  20. Arfst Nickelsen
    Pages 307-318
  21. Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel
    Pages 319-328
  22. Klaus Reinhardt
    Pages 329-338
  23. Klaus-Jörn Lange
    Pages 339-350
  24. Michele Flammini
    Pages 351-362
  25. Lefteris M. Kirousis, Evangelos Kranakis, Danny Krizanc, Andrzej Pelc
    Pages 363-374
  26. Christoph Karg, Johannes Köbler, Rainer Schuler
    Pages 375-386
  27. Alexander E. Andreev, Andrea E. F. Clementi, José D. P. Rolim
    Pages 387-398
  28. Ingrid Biehl, Bernd Meyer
    Pages 399-412
  29. Ugo Montanari, Marco Pistore
    Pages 413-425
  30. Gianpiero Cattaneo, Enrico Formenti, Giovanni Manzini, Luciano Margara
    Pages 427-438
  31. Jonathan F. Buss, Gudmund S. Frandsen, Jeffrey O. Shallit
    Pages 451-462
  32. Eric Ruppert
    Pages 475-486
  33. Erich Prisner
    Pages 499-510
  34. Rainer Feldmann, Burkhard Monien, Peter Mysliwietz, Stefan Tschöke
    Pages 511-522
  35. Joan Feigenbaum, Martin Strauss
    Pages 523-534
  36. Josef M. Breutzmann, Jack H. Lutz
    Pages 535-545
  37. Vincenzo Auletta, Mimmo Parente
    Pages 547-558
  38. Hans Jürgen Prömel, Angelika Steger
    Pages 559-570
  39. Jochen Messner
    Pages 571-582
  40. Volker Diekert, Paul Gastin, Antoine Petit
    Pages 583-594
  41. Oded Goldreich
    Pages 595-611

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications