STACS 2001

18th Annual Symposium on Theoretical Aspects of Computer Science Dresden, Germany, February 15–17, 2001 Proceedings

  • Afonso Ferreira
  • Horst Reichel
Conference proceedings STACS 2001
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2010)

Table of contents

  1. Front Matter
    Pages I-XV
  2. Invited Presentations

  3. Contributions

    1. Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir
      Pages 39-50
    2. Shin Aida, Rainer Schuler, Tatsuie Tsukiji, Osamu Watanabe
      Pages 51-62
    3. Helmut Alt, Christian Knauer, Carola Wenk
      Pages 63-74
    4. Andris Ambainis1, Arnolds KĶikusts, Māris Valdats
      Pages 75-86
    5. Martin Beaudry, François Lemieux, Denis Thérien3
      Pages 87-98
    6. Amit Chakrabarti, Subhash Khot, Yaoyun Shi
      Pages 110-120
    7. Andrea E. F. Clementi, Pilu Crescenzi, Paolo Penna, Gianluca Rossi, Paola Vocca
      Pages 121-131
    8. Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer
      Pages 132-143
    9. François Denis, Aurélien Lemay, Alain Terlutte
      Pages 144-157
    10. Anders Dessmark, Andrzej Pelc
      Pages 158-169
    11. Volker Diekert, Claudio Gutiérrez, Christian Hagenah
      Pages 170-182
    12. Benjamin Doerr, Anand Srivastav
      Pages 183-194
    13. Rod G. Downey, Denis R. Hirschfeldt, André Nies
      Pages 195-205
    14. Pavol Ďuriš, Juraj Hromkovič, Stasys Jukna, Martin Sauerhoff, Georg Schnitger
      Pages 206-217
    15. Robert Elsässer, Rastislav Královič, Burkhard Monien
      Pages 218-229

About these proceedings

Keywords

Automat algorithms automata complexity computer computer science data structures formal language formal languages logic optimization verification

Editors and affiliations

  • Afonso Ferreira
    • 1
  • Horst Reichel
    • 2
  1. 1.I3S & INRIA Sophia Antipolis INRIACNRSSophia-AntipolisFrance
  2. 2.Institut für Theoretische Informatik, Fakultät InformatikTU DresdenDresdenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44693-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41695-1
  • Online ISBN 978-3-540-44693-4
  • Series Print ISSN 0302-9743
  • About this book