Mathematical Foundations of Computer Science 2005

30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

  • Joanna Jȩdrzejowicz
  • Andrzej Szepietowski
Conference proceedings MFCS 2005

DOI: 10.1007/11549345

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

Table of contents

  1. Front Matter
  2. Invited Lectures

    1. Marcin Bienkowski, Friedhelm Meyer auf der Heide
      Pages 1-14
    2. Rūsiņš Freivalds
      Pages 15-25
    3. Yuri Gurevich
      Pages 26-38
    4. Endre Szemerédi, Andrzej Ruciński, Vojtěch Rödl
      Pages 52-56
    5. Wiesław Zielonka
      Pages 58-70
  3. Papers

    1. Eric Allender, Michael Bauland, Neil Immerman, Henning Schnoor, Heribert Vollmer
      Pages 71-82
    2. César L. Alonso, Josè L. Montaña, Luis M. Pardo
      Pages 83-94
    3. Carme Àlvarez, Joaquim Gabarró, Maria Serna
      Pages 95-106
    4. Kazuyuki Amano, Akira Maruoka
      Pages 107-118
    5. Michael Bauland, Edith Hemaspaandra
      Pages 119-130
    6. Valérie Berthé, Michel Rigo
      Pages 131-143
    7. María J. Blesa, Daniel Calzada, Antonio Fernández, Luis López, Andrés L. Martínez, Agustín Santos et al.
      Pages 144-155
    8. Arnaud Carayol
      Pages 168-179
    9. Arnaud Carayol, Antoine Meyer
      Pages 180-191
    10. J. Cervelle, E. Formenti, B. Masson
      Pages 192-211

About these proceedings

Keywords

algorithmic geometry algorithmics algorithms approximation algorithms automata calculus circuit theory combinatorial optimization complexity databases formal languages graph algorithms graph computations logic theore

Editors and affiliations

  • Joanna Jȩdrzejowicz
    • 1
  • Andrzej Szepietowski
    • 1
  1. 1.Institute of MathematicsGdansk UniversityGdanskPoland

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-28702-5
  • Online ISBN 978-3-540-31867-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349