Advertisement

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
    9. Jianer Chen, Iyad A. Kanj, Ge Xia
      Pages 238-249
    10. A. Cherubini, P. Gawrychowski, A. Kisielewicz, B. Piochi
      Pages 256-266
    11. Johanne Cohen, Fedor Fomin, Pinar Heggernes, Dieter Kratsch, Gregory Kucherov
      Pages 267-279
    12. Sorin Constantinescu, Lucian Ilie
      Pages 280-291
    13. Volker Diekert, Markus Lohrey, Alexander Miller
      Pages 292-304
    14. Michael Domaratzki, Kai Salomaa
      Pages 315-326
    15. M. Dynia, J. Kutyłowski, F. Meyer auf der Heide, C. Schindelhauer
      Pages 327-338
    16. Wael El Oraiby, Dominique Schmitt
      Pages 339-350
    17. Robert Elsässer
      Pages 351-362
    18. Angelo Fanelli, Michele Flammini, Giovanna Melideo, Luca Moscardelli
      Pages 363-374
    19. Lance Fortnow, Mitsunori Ogihara
      Pages 375-386
    20. Anna Gál, Vladimir Trifonov
      Pages 387-398
    21. Luisa Gargano, Adele A. Rescigno
      Pages 399-411
    22. Beat Gfeller, Leon Peeters, Birgitta Weber, Peter Widmayer
      Pages 424-435
    23. Christian Glaßer, Stephen Travers
      Pages 436-446
    24. Sergey Goncharov, Lutz Schröder, Till Mossakowski
      Pages 447-458
    25. Xiaoyang Gu, Jack H. Lutz
      Pages 471-479
    26. Refael Hassin, Jérôme Monnot, Danny Segev
      Pages 480-491
    27. Yoram Hirshfeld, Alexander Rabinovich
      Pages 492-504
    28. Petr Hliněný
      Pages 505-516
    29. Martin Hoefer
      Pages 517-527
    30. Kazuo Iwama, Hiroki Morizumi
      Pages 540-548
    31. Tomasz Jurdziński
      Pages 561-572

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
  • Buy this book on publisher's site