Advertisement

Mathematical Foundations of Computer Science 2012

37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

  • Branislav Rovan
  • Vladimiro Sassone
  • Peter Widmayer

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

Table of contents

  1. Front Matter
  2. Georg Gottlob, Marco Manna, Michael Morak, Andreas Pieris
    Pages 1-18
  3. Christian Komusiewicz, Rolf Niedermeier
    Pages 19-30
  4. Antonino Salibra
    Pages 31-45
  5. Esko Ukkonen
    Pages 48-48
  6. Igor Walukiewicz
    Pages 49-60
  7. Gerhard J. Woeginger
    Pages 61-62
  8. Mihalis Yannakakis
    Pages 63-63
  9. Lauri Ahlroth, Pekka Orponen
    Pages 64-75
  10. Eric Allender, Harry Buhrman, Luke Friedman, Bruno Loff
    Pages 88-99
  11. Vikraman Arvind, Johannes Köbler, Sebastian Kuhnert, Yadu Vasudev
    Pages 100-111
  12. Vikraman Arvind, Partha Mukhopadhyay, Prajakta Nimbhorkar, Yadu Vasudev
    Pages 112-123
  13. Eugene Asarin, Nicolas Basset, Aldric Degorre, Dominique Perrin
    Pages 124-135
  14. Cristina Bazgan, Morgan Chopin
    Pages 136-147
  15. Paul C. Bell, Mika Hirvensalo, Igor Potapov
    Pages 148-159
  16. Dietmar Berwanger, Łukasz Kaiser, Simon Leßenich
    Pages 160-171
  17. Therese Biedl, Peter Floderus
    Pages 172-183
  18. Markus Bläser, Bodo Manthey
    Pages 198-209
  19. Francine Blanchet-Sadri, Sean Simmons
    Pages 210-221
  20. Paul Bonsma
    Pages 222-233
  21. Olivier Bournez, Pierre Fraigniaud, Xavier Koegler
    Pages 234-246
  22. Laurent Bulteau, Guillaume Fertin, Irena Rusu
    Pages 247-258
  23. Jingsen Chen, Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen
    Pages 259-270
  24. Taolue Chen, Klaus Dräger, Stefan Kiefer
    Pages 271-282
  25. Robert Crowston, Gregory Gutin, Mark Jones, Saket Saurabh, Anders Yeo
    Pages 283-295
  26. Marek Cygan, Marcin Pilipczuk, Michał Pilipczuk, Jakub Onufry Wojtaszczyk
    Pages 296-307
  27. Nicolas de Rugy-Altherre
    Pages 308-322
  28. Martin Delacourt, Petr Kůrka
    Pages 323-334
  29. Giovanni Di Crescenzo, Vadym Fedyukovych
    Pages 335-347
  30. Angelo Fanelli, Luca Moscardelli, Alexander Skopalik
    Pages 360-371
  31. Dimitris Fotakis, Paraschos Koutris
    Pages 395-406
  32. Tom Friedetzky, Leszek Gąsieniec, Thomas Gorry, Russell Martin
    Pages 407-418
  33. Robert Ganian, Petr Hliněný, Jaroslav Nešetřil, Jan Obdržálek, Patrice Ossona de Mendez, Reshma Ramadurai
    Pages 419-430
  34. Marcus Gelderie
    Pages 431-442
  35. Petr A. Golovach, Daniël Paulusma, Bernard Ries
    Pages 443-454
  36. Petr A. Golovach, Pim van ’t Hof, Daniël Paulusma
    Pages 455-466
  37. Michelangelo Grigni, Hao-Hsiang Hung
    Pages 467-477
  38. Rohit Gurjar, Arpita Korwar, Jochen Messner, Simon Straub, Thomas Thierauf
    Pages 478-490
  39. Furio Honsell, Marina Lenisa, Rekha Redamalla
    Pages 503-515
  40. Klaus Jansen, Stefan Kraft
    Pages 529-541
  41. Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil
    Pages 542-553
  42. Christos A. Kapoutsis, Giovanni Pighizzini
    Pages 554-565

About these proceedings

Introduction

This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.

Keywords

constraint satisfaction games model checking planar graphs polinomial representations

Editors and affiliations

  • Branislav Rovan
    • 1
  • Vladimiro Sassone
    • 2
  • Peter Widmayer
    • 3
  1. 1.Department of Computer ScienceComenius UniversityBratislavaSlovakia
  2. 2.Department of Electronics and Computer ScienceUniversity of SouthamptonSouthamptonUK
  3. 3.Institute of Theoretical Computer ScienceETH ZürichZürichSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-32589-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-32588-5
  • Online ISBN 978-3-642-32589-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site