Advertisement

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
    12. Paul S. Bonsma, Tobias Brueggemann, Gerhard J. Woeginger
      Pages 259-268
    13. Michele Boreale, Maria Grazia Buscemi
      Pages 269-278
    14. Michele Boreale, Fabio Gadducci
      Pages 279-289
    15. Henrik Brosenne, Matthias Homeister, Stephan Waack
      Pages 290-299
    16. Antonio Bucciarelli, Antonino Salibra
      Pages 300-307
    17. Olivier Carton
      Pages 308-317
    18. Ivana Černá, Radek Pelánek
      Pages 318-327
    19. Hubie Chen
      Pages 338-347
    20. Zhi-Zhong Chen, Mitsuharu Kouno
      Pages 348-357
    21. Gianluca De Marco, Andrzej Pelc
      Pages 368-377
    22. Christian Delhommé, Teodor Knapik, D. Gnanaraj Thomas
      Pages 378-387
    23. Jean-Pierre Duval, Roman Kolpakov, Gregory Kucherov, Thierry Lecroq, Arnaud Lefebvre
      Pages 388-397
    24. Leah Epstein, Tamir Tassa
      Pages 408-418
    25. Katalin Friedl, Frédéric Magniez, Miklos Santha, Pranab Sen
      Pages 419-428
    26. Paul Gastin, Madhavan Mukund, K. Narayan Kumar
      Pages 429-438
    27. Paul Gastin, Denis Oddoux
      Pages 439-448
    28. Alfons Geser, Dieter Hofbauer, Johannes Waldmann
      Pages 449-459
    29. Oscar H. Ibarra, Zhe Dang, Omer Egecioglu, Gaurav Saxena
      Pages 480-489
    30. Piotr Krysta, Peter Sanders, Berthold Vöcking
      Pages 500-510
    31. Mirosław Kutyłowski, Daniel Letkiewicz
      Pages 511-520
    32. Christof Löding, Philipp Rohde
      Pages 531-540
    33. Thomas Lücking, Marios Mavronicolas, Burkhard Monien, Manuel Rode, Paul Spirakis, Imrich Vrto
      Pages 551-561

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
  • Buy this book on publisher's site
Industry Sectors
Automotive
Chemical Manufacturing
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Engineering