Advertisement

Mathematical Foundations of Computer Science 2007

32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings

  • Editors
  • Luděk Kučera
  • Antonín Kučera
Conference proceedings MFCS 2007

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Random Graphs

    1. Sotiris E. Nikoletseas, Christoforos Raptopoulos, Paul G. Spirakis
      Pages 44-55
  4. Rewriting

  5. Approximation Algorithms

    1. Klaus Jansen, Roberto Solis-Oba
      Pages 103-114
    2. Yuichi Asahiro, Eiji Miyano, Toshihide Murata, Hirotaka Ono
      Pages 115-124
  6. Automata and Circuits

    1. Dirk Nowotka, Jiří Srba
      Pages 125-134
    2. Patrick Chervet, Igor Walukiewicz
      Pages 135-146
    3. Christoph Behle, Andreas Krebs, Mark Mercer
      Pages 147-158
  7. Complexity I

    1. Gábor Kun, Jaroslav Nešetřil
      Pages 171-181
    2. Luc Longpré, Pierre McKenzie
      Pages 182-193
  8. Streams and Compression

    1. Camil Demetrescu, Bruno Escoffier, Gabriel Moruz, Andrea Ribichini
      Pages 194-205
    2. Travis Gagie, Giovanni Manzini
      Pages 206-217
  9. Graphs I

    1. Rodolfo Carvajal, Martín Matamala, Ivan Rapaport, Nicolas Schabanel
      Pages 218-227
    2. Peter Jonsson, Gustav Nordh, Johan Thapper
      Pages 228-239
  10. Iteration and Recursion

    1. Jiří Adámek, Stefan Milius, Jiří Velebil
      Pages 240-252
    2. John Case, Samuel E. Moelius III
      Pages 253-263
  11. Algorithms I

  12. Automata

  13. Complexity II

    1. Rupert J. Hartung, Claus-Peter Schnorr
      Pages 333-345
    2. Pascal Koiran, Sylvain Perifel
      Pages 359-370
  14. Protocols

    1. Alfredo De Santis, Anna Lisa Ferrara, Barbara Masucci
      Pages 371-382
    2. Amit Chakrabarti, Anna Shubina
      Pages 383-393
  15. Graphs II

    1. Fabrizio Frati, Markus Geyer, Michael Kaufmann
      Pages 394-405
    2. Gerth Stølting Brodal, Loukas Georgiadis, Kristoffer Arnsfelt Hansen, Irit Katriel
      Pages 406-417
  16. Networks

    1. Evangelos Kranakis, Michel Paquette, Andrzej Pelc
      Pages 418-429
    2. Andrea E. F. Clementi, Angelo Monti, Francesco Pasquale, Riccardo Silvestri
      Pages 430-441
  17. Algorithms II

    1. Gerth Stølting Brodal, Allan Grønlund Jørgensen
      Pages 442-453
    2. Elias Koutsoupias, Angelina Vidali
      Pages 454-464
    3. Maxime Crochemore, Lucian Ilie
      Pages 465-476
  18. Languages

    1. Nicolas Bedon, Chloé Rispal
      Pages 477-488
    2. Antoine Meyer
      Pages 489-500
  19. Graphs III

    1. Jan Kratochvíl, Dieter Kratsch, Mathieu Liedloff
      Pages 513-524
    2. Andreas Brandstädt, Peter Wagner
      Pages 525-535
  20. Quantum Computing

About these proceedings

Keywords

Automat algorithm algorithms artificial intelligence automata bioinformatics complexity computational geometry computer science data structure data structures distributed computing formal specification logic semantics

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-74456-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-74455-9
  • Online ISBN 978-3-540-74456-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site