Mathematical Foundations of Computer Science 2002

27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

  • Krzysztof Diks
  • Wojciech Rytter
Conference proceedings MFCS 2002

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

Table of contents

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

  3. Contributed Talks

    1. Maria I. Andreou, Dimitris A. Fotakis, Sotiris E. Nikoletseas, Vicky G. Papadopoulou, Paul G. Spirakis
      Pages 81-92
    2. Ola Angelsmark, Vilhelm Dahllöf, Peter Jonsson
      Pages 93-103
    3. Wolfgang W. Bein, Peter Brucker, Lawrence L. Larmore, James K. Park
      Pages 104-117
    4. Mihalis Beis, William Duckworth, Michele Zito
      Pages 118-130
    5. Endre Boros, Khaled Elbassioni, Vladimir Gurvich, Leonid Khachiyan
      Pages 143-154
    6. Didier Caucal, Teodor Knapik
      Pages 177-187
    7. Wun-Tat Chan, Tak-Wah Lam, Hing-Fung Ting, Prudence W. H. Wong
      Pages 188-200
    8. Robert Dabrowski, Wojtek Plandowski
      Pages 212-220
    9. Joost Engelfriet, Sebastian Maneth
      Pages 234-244

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science, MFCS 2002, held in Warsaw, Poland in August 2002.
The 48 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 108 submissions. All relevant aspects of theoretical computer science are addressed, ranging from discrete mathematics, combinatorial optimization, graph theory, algorithms, and complexity to programming theory, formal methods, and mathematical logic.

Keywords

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

Editors and affiliations

  • Krzysztof Diks
    • 1
  • Wojciech Rytter
    • 1
    • 2
  1. 1.Institute of InformaticsWarsaw UniversityWarszawaPoland
  2. 2.Department of Computer ScienceLiverpool UniversityLiverpoolUK

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45687-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44040-6
  • Online ISBN 978-3-540-45687-2
  • Series Print ISSN 0302-9743
  • About this book