STACS 2004

21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings

  • Volker Diekert
  • Michel Habib
Conference proceedings STACS 2004

DOI: 10.1007/b96012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2996)

Table of contents

  1. Front Matter
  2. Invited Lectures

  3. Structural Complexity (I)

    1. Harry Buhrman, Hartmut Klauck, Nikolai Vereshchagin, Paul Vitányi
      Pages 19-30
    2. Kristoffer Arnsfelt Hansen
      Pages 44-55
  4. Graph Algorithms (I)

    1. Fedor V. Fomin, Dimtirios M. Thilikos
      Pages 56-67
    2. Annamária Kovács
      Pages 68-80
    3. Holger Bast, Kurt Mehlhorn, Guido Schäfer, Hisao Tamaki
      Pages 81-92
  5. Quantum Computations

    1. Andris Ambainis, Martin Beaudry, Marats Golovkins, Arnolds Ķikusts, Mark Mercer, Denis Thérien
      Pages 93-104
    2. Andris Ambainis, Kazuo Iwama, Akinori Kawachi, Hiroyuki Masuda, Raymond H. Putra, Shigeru Yamashita
      Pages 105-116
  6. Pattern Inference and Statistics

    1. Alberto Bertoni, Christian Choffrut, Massimiliano Goldwurm, Violetta Lonati
      Pages 117-128
    2. Daniel Reidenbach
      Pages 129-140
  7. Satisfiability – Constraint Satisfaction Problem

    1. Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert
      Pages 141-151
    2. David Cohen, Martin Cooper, Peter Jeavons, Andrei Krokhin
      Pages 152-163
    3. Elmar Böhler, Edith Hemaspaandra, Steffen Reith, Heribert Vollmer
      Pages 164-175
  8. Scheduling (I)

    1. Stavros G. Kolliopoulos, George Steiner
      Pages 176-186
    2. Yair Bartal, Francis Y. L. Chin, Marek Chrobak, Stanley P. Y. Fung, Wojciech Jawor, Ron Lavi et al.
      Pages 187-198
    3. Tomáš Ebenlendr, Jiří Sgall
      Pages 199-210
  9. Algorithms

    1. Christoph Ambühl, Birgitta Weber
      Pages 211-221

About these proceedings

Keywords

Automat algorithms automata automata theory complexity computer computer science formal language formal languages game theory logic

Editors and affiliations

  • Volker Diekert
    • 1
  • Michel Habib
    • 2
  1. 1.Universität Stuttgart, FMIGermany
  2. 2.LIAFA and the University of Paris 7Denis Diderot 

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-21236-2
  • Online ISBN 978-3-540-24749-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349