Mathematical Foundations of Computer Science 2006

31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

  • Rastislav Královič
  • Paweł Urzyczyn
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4162)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky
      Pages 1-23
    2. Pierre Fraigniaud, David Ilcinkas, Andrzej Pelc
      Pages 24-37
  3. Contributed Papers

    1. O. Aichholzer, C. Huemer, S. Kappes, B. Speckmann, C. D. Tóth
      Pages 86-97
    2. Lyudmil Aleksandrov, Hristo N. Djidjev, Hua Guo, Anil Maheshwari, Doron Nussbaum, Jörg-Rüdiger Sack
      Pages 98-109
    3. Richard Beigel, William Gasarch, James Glenn
      Pages 146-156
    4. Jean Berstel, Alessandra Savelli
      Pages 157-166
    5. F. Blanchet-Sadri, D. Dakota Blair, Rebeca V. Lewis
      Pages 167-178
    6. Joan Boyar, René Peralta
      Pages 179-189
    7. Laurent Boyer, Victor Poupet, Guillaume Theyssier
      Pages 190-201
    8. Arnaud Carayol, Didier Caucal
      Pages 214-225

About these proceedings

Keywords

Automat algorithm algorithms artificial intelligence automata bioinformatics complexity computer science data structure data structures distributed computing formal specification knowledge-based systems logic semantics

Editors and affiliations

  • Rastislav Královič
    • 1
  • Paweł Urzyczyn
    • 2
  1. 1.Department of Computer ScienceComenius University, Mlynská dolinaBratislavaSlovakia
  2. 2.Institute of InformaticsUniversity of WarsawPoland

Bibliographic information

  • DOI https://doi.org/10.1007/11821069
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-37791-7
  • Online ISBN 978-3-540-37793-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book