Advertisement

Mathematical Foundations of Computer Science 2001

26th International Symposium, MFCS 2001 Mariánské Lázne, Czech Republic, August 27–31, 2001 Proceedings

  • Jiří Sgall
  • Aleš Pultr
  • Petr Kolman

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Talks

  3. Contributed Talks

    1. Jochen Alber, Hongbing Fan, Michael R. Fellows, Henning Fernau, Rolf Niedermeier, Fran Rosamond et al.
      Pages 111-123
    2. Kazuyuki Amano, Tsukuru Hirosawa, Yusuke Watanabe, Akira Maruoka
      Pages 123-134
    3. Andris Ambainis, Arnolds Ķikusts
      Pages 135-147
    4. Chris Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard E. Stearns
      Pages 159-172
    5. Martin Beaudry, Markus Holzer
      Pages 173-185
    6. Ahmed Bouajjani, Peter Habermehl, Richard Mayr
      Pages 198-211
    7. Henrik Brosenne, Matthias Homeister, Stephan Waack
      Pages 212-223
    8. Véronique Bruyère, Olivier Carton
      Pages 236-247
    9. Julien Cervelle, Bruno Durand, Enrico Formenti
      Pages 248-260
    10. Marek Chrobak, Lawrence L. Larmore, Wojciech Rytter
      Pages 260-271
    11. Mary Cryan, Peter Bro Miltersen
      Pages 272-284
    12. Felipe Cucker, Dima Grigoriev
      Pages 285-291
    13. Josep Díaz, Maria Serna, Dimitrios M. Thilikos
      Pages 304-315
    14. Rod G. Downey, Denis R. Hirschfeldt, Geoff La Forte
      Pages 316-327
    15. Pavol Ďuriš, Ján Maňuch
      Pages 328-337
    16. Leah Epstein, Rob van Stee
      Pages 338-350
    17. Viliam Geffert
      Pages 387-397
    18. Viliam Geffert, Carlo Mereghetti, Giovanni Pighizzini
      Pages 398-407
    19. Thanh Minh Hoang, Thomas Thierauf
      Pages 408-420
    20. Galina Jirásková
      Pages 421-431
    21. Andreas Klein, Martin Kutrib
      Pages 439-450
    22. Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski
      Pages 451-463
    23. Chiu-Yuen Koo, Tak-Wah Lam, Tsuen-Wan Ngan, Kar-Keung To
      Pages 464-473
    24. Daniel Král’, Jan Kratochvíl, Heinz-Jürgen Voss
      Pages 474-485
    25. Sven O. Krumke, Willem E. de Paepe, Diana Poensgen, Leen Stougie
      Pages 487-499
    26. Filippo Mignosi, Jeffrey Shallit, Ming-wei Wang
      Pages 512-523
    27. Burkhard Monien, Robert Preis
      Pages 524-536
    28. Cristopher Moore, Pascal Tesson, Denis Thérien
      Pages 537-547
    29. Christophe Morvan, Colin Stirling
      Pages 548-559
    30. Frank Neven, Thomas Schwentick, Victor Vianu
      Pages 560-572

About these proceedings

Keywords

algorithms complexity complexity theory computer computer science logic mathematical logic programming

Editors and affiliations

  • Jiří Sgall
    • 1
  • Aleš Pultr
    • 2
  • Petr Kolman
    • 2
  1. 1.Mathematical Institute, AS CRPraha 1Czech Republic
  2. 2.Faculty of Mathematics and Physics Institute for Theoretical Computer Science (ITI)Charles UniversityPraha 1Czech Republic

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44683-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42496-3
  • Online ISBN 978-3-540-44683-5
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications