Advertisement

STACS 2000

17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17–19, 2000 Proceedings

  • Horst Reichel
  • Sophie Tison
Conference proceedings STACS 2000

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. M. Amin Shokrollahi
    Pages 1-12
  3. Thomas A. Henzinger, Rupak Majumdar
    Pages 13-34
  4. Kaustubh Deshmukh, Priti Shankar, Amitava Dasgupta, B. Sundar Rajan
    Pages 53-64
  5. Edward A. Hirsch
    Pages 65-73
  6. Jack H. Lutz, Martin J. Strauss
    Pages 74-86
  7. Eric Allender, Meena Mahajan
    Pages 87-98
  8. Gwénaël Richomme, Francis Wlazinski
    Pages 99-109
  9. Lucian Ilie, Wojciech Plandowski
    Pages 122-132
  10. Andris Ambainis, Ronald de Wolf
    Pages 133-144
  11. Sven Kosub, Klaus W. Wagner
    Pages 157-168
  12. Hesham Al-Ammal, Leslie Ann Goldberg, Phil MacKenzie
    Pages 169-180
  13. Nicolas Schabanel
    Pages 181-192
  14. Jessica H. Fong, Martin J. Strauss
    Pages 193-204
  15. Leonid Libkin
    Pages 217-229
  16. Edith Hemaspaandra
    Pages 230-241
  17. Yijie Han
    Pages 242-253
  18. Stefan Edelkamp, Ingo Wegener
    Pages 254-266
  19. Marcin Jurdziński
    Pages 290-301
  20. Frédéric Magniez
    Pages 302-313
  21. Vikraman Arvind, Johannes Köbler, Martin Mundhenk, Jacobo Torán
    Pages 314-323
  22. Jack H. Lutz, Vikram Mhetre, Sridhar Srinivasan
    Pages 324-333
  23. Petr Jančar, Antonín Kučera, Faron Moller
    Pages 334-345
  24. Marcin Jurdziński, Mogens Nielsen
    Pages 358-369
  25. Michael Elkin, David Peleg
    Pages 370-381
  26. Hans-Joachim Böckenhauer, Juraj Hromkovič, Ralf Klasing, Sebastian Seibert, Walter Unger
    Pages 382-394
  27. Hans L. Bodlaender, Ton Kloks, Richard B. Tan, Jan van Leeuwen
    Pages 395-406
  28. Harry Buhrman, Steve Fenner, Lance Fortnow, Dieter van Melkebeek
    Pages 407-418
  29. Klaus Ambos-Spies, Wolfgang Merkle, Jan Reimann, Sebastiaan A. Terwijn
    Pages 419-430
  30. Vikraman Arvind, Johannes Köbler
    Pages 431-442
  31. Evripidis Bampis, Rodolphe Giroudeau, Jean-Claude König
    Pages 443-454
  32. Ulf Lorenz
    Pages 466-478
  33. Vincent D. Blondel, Olivier Bournez, Pascal Koiran, John N. Tsitsiklis
    Pages 479-490
  34. Julien Cervelle, Bruno Durand
    Pages 491-502
  35. Vincent Bouchitté, Ioan Todinca
    Pages 503-515
  36. Michal Katz, Nir A. Katz, David Peleg
    Pages 516-528
  37. Jean-Marc Lanlignel, Olivier Raynaud, Eric Thierry
    Pages 529-541
  38. Joost Engelfriet, Sebastian Maneth
    Pages 542-554
  39. Christian Glaßer, Heinz Schmitz
    Pages 555-566
  40. Alberto Bertoni, Massimiliano Goldwurm, Massimo Santini
    Pages 567-580
  41. Elias Koutsoupias, David Scot Taylor
    Pages 581-592
  42. Marek Chrobak, Jiří Sgall
    Pages 593-604

About these proceedings

Keywords

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

Editors and affiliations

  • Horst Reichel
    • 1
  • Sophie Tison
    • 2
  1. 1.Faculty of Computer Science, Dept. of Theoretical Computer ScienceUniversität DresdenDresdenGermany
  2. 2.Université de Lille, LIFL - UPRESA 8022, CNRS, Bât. M3 - UFR IEEAVilleneuve d’ASCQ CedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46541-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67141-1
  • Online ISBN 978-3-540-46541-6
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Pharma
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace