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

DOI: 10.1007/b11836

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

  • 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