Advertisement

Table of contents

  1. Front Matter
  2. Gilles Brassard
    Pages 1-10
  3. Harry Buhrman, Luc Longpré
    Pages 11-24
  4. Martin Kummer
    Pages 25-36
  5. T. Harju, J. Karhumäki, D. Krob
    Pages 37-48
  6. Marie -Pierre Béal, Olivier Carton, Christophe Reutenauer
    Pages 49-59
  7. Klaus Ambos-Spies, Elvira Mayordomo, Yongge Wang, Xizhong Zheng
    Pages 61-74
  8. Harry Buhrman, Thomas Thierauf
    Pages 75-86
  9. V. Arvind, N. V. Vinodchandran
    Pages 99-110
  10. Frédérique Bassino
    Pages 125-135
  11. Karel Culik II, Jarkko Kari
    Pages 137-146
  12. Guy Melançon
    Pages 147-154
  13. Volker Heun, Ernst W. Mayr
    Pages 155-168
  14. Michel Morvan, Laurent Viennot
    Pages 169-180
  15. Petra Berenbrink, Friedhelm Meyer auf der Heide, Volker Stemann
    Pages 181-192
  16. Jānis Bārzdiņs, Rūsiņš Freivalds, Carl H. Smith
    Pages 205-218
  17. Erika Tateishi, Osamu Maruyama, Satoru Miyano
    Pages 219-230
  18. François Denis, Cyrille D'Halluin, Rémi Gilleron
    Pages 231-242
  19. Andris Ambainis, Rūsiņš Freivalds, Carl H. Smith
    Pages 243-253
  20. Béatrice Bérard, Paul Gastin, Antoine Petit
    Pages 255-268
  21. Michael Bertol, Volker Diekert
    Pages 269-280
  22. Christoph Dürr, Huong Lê Thanh, Miklos Santha
    Pages 281-292
  23. Andreas Jakoby, Christian Schindelhauer
    Pages 293-306
  24. Jin -Yi Cai, Ashish V. Naik, D. Sivakumar
    Pages 307-318
  25. Alexander E. Andreev, Andrea E. F. Clementi, José D. P. Rolim
    Pages 319-330
  26. Jin -yi Cai, Alan L. Selman
    Pages 331-343
  27. Joseph Sifakis, Sergio Yovine
    Pages 345-359
  28. Daniel Bleichenbacher, Ueli M. Maurer
    Pages 361-374
  29. Joel Friedman, Antoine Joux, Yuval Roichman, Jacques Stern, Jean -Pierre Tillich
    Pages 375-386
  30. Thomas Schwentick
    Pages 415-426
  31. Thomas Hofmeister, Hanno Lefmann
    Pages 439-452
  32. J. C. Bradfield
    Pages 477-490
  33. Vincent Schmitt
    Pages 515-528
  34. Evangelos Kranakis, Danny Krizanc
    Pages 529-540
  35. Marie -Pierre Béal, Filippo Mignosi, Antonio Restivo
    Pages 555-566
  36. Dany Breslauer
    Pages 593-603

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996.
The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and communication complexity.

Keywords

Automat algorithm algorithms automata complexity complexity theory distributed systems logic semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-60922-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60922-3
  • Online ISBN 978-3-540-49723-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site