Mathematical Foundations of Computer Science 2003

28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003. Proceedings

  • Branislav Rovan
  • Peter Vojtáš
Conference proceedings MFCS 2003

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Harry Buhrman, Hein Röhrig
      Pages 1-20
    2. R. Feldmann, M. Gairing, Thomas Lücking, Burkhard Monien, Manuel Rode
      Pages 21-45
    3. Jo Hannay, Shin-ya Katsumata, Donald Sannella
      Pages 68-91
    4. Giancarlo Mauri, Alberto Leporati
      Pages 92-112
  3. Contributed Papers

    1. C. Àlvarez, M. Blesa, J. Díaz, A. Fernández, M. Serna
      Pages 142-151
    2. Kazuyuki Amano, Akira Maruoka
      Pages 152-161
    3. Siva Anantharaman, Paliath Narendran, Michael Rusinowitch
      Pages 169-178
    4. G. Ausiello, C. Bazgan, M. Demange, V. Th. Paschos
      Pages 179-188
    5. Kensuke Baba, Satoshi Tsuruta, Ayumi Shinohara, Masayuki Takeda
      Pages 189-197
    6. Cyril Banderier, René Beier, Kurt Mehlhorn
      Pages 198-207
    7. Hideo Bannai, Shunsuke Inenaga, Ayumi Shinohara, Masayuki Takeda
      Pages 208-217
    8. Robert Benkoczi, Binay Bhattacharya, Marek Chrobak, Lawrence L. Larmore, Wojciech Rytter
      Pages 218-227
    9. F. Blanchard, J. Cervelle, E. Formenti
      Pages 228-238
    10. Hans L. Bodlaender, Michael R. Fellows, Dimitrios M. Thilikos
      Pages 239-248
    11. Elmar Böhler, Christian Glaßer, Daniel Meister
      Pages 249-258

About these proceedings

Keywords

algorithms combinatorial optimization complexity computer computer science formal method logic mathematical logic optimization programming

Editors and affiliations

  • Branislav Rovan
    • 1
  • Peter Vojtáš
    • 2
  1. 1.Department of Computer ScienceComenius UniversityBratislavaSlovakia
  2. 2.Charles UniversityPrague, Czech Republic

Bibliographic information

  • DOI https://doi.org/10.1007/b11836
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40671-6
  • Online ISBN 978-3-540-45138-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book