Mathematical Foundations of Computer Science 2013

38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

  • Krishnendu Chatterjee
  • Jirí Sgall
Conference proceedings MFCS 2013

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

Table of contents

  1. Front Matter
  2. Leah Epstein
    Pages 8-21
  3. Elias Koutsoupias
    Pages 43-44
  4. Eric Angel, Evripidis Bampis, Alexander Kononov, Dimitris Paparas, Emmanouil Pountourakis, Vassilis Zissimopoulos
    Pages 50-61
  5. Antonios Antoniadis, Chien-Chung Huang, Sebastian Ott, José Verschae
    Pages 62-73
  6. Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
    Pages 74-85
  7. Vince Bárány, Michael Benedikt, Balder ten Cate
    Pages 98-110
  8. Arnold Beckmann, Pavel Pudlák, Neil Thapen
    Pages 111-122
  9. Nicolas Bedon
    Pages 123-134
  10. Michael Benedikt, Joost Engelfriet, Sebastian Maneth
    Pages 146-158
  11. Henrik Björklund, Wim Martens, Thomas Schwentick
    Pages 171-182
  12. Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro
    Pages 183-194
  13. Andreas Brandstädt, Martin Milanič, Ragnar Nevries
    Pages 195-206
  14. Karl Bringmann, Christian Engels, Bodo Manthey, B. V. Raghavendra Rao
    Pages 219-230
  15. Harry Buhrman, Lance Fortnow, John M. Hitchcock, Bruno Loff
    Pages 243-253
  16. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
    Pages 254-265
  17. Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
    Pages 266-277
  18. Sarel Cohen, Amos Fiat, Moshik Hershcovitch, Haim Kaplan
    Pages 278-289
  19. Nadia Creignou, Arne Meier, Julian-Steffen Müller, Johannes Schmidt, Heribert Vollmer
    Pages 290-301
  20. Wojciech Czerwiński, Petr Jančar, Martin Kot, Zdeněk Sawa
    Pages 302-313
  21. Stephane Durocher, Rahul Shah, Matthew Skala, Sharma V. Thankachan
    Pages 325-336
  22. Sebastian Eggert, Henning Schnoor, Thomas Wilke
    Pages 337-348
  23. Amr Elmasry, Jyrki Katajainen
    Pages 349-360
  24. Leah Epstein, Hanan Zebedat-Haider
    Pages 361-372
  25. Stefan Felsner, George B. Mertzios, Irina Musta
    Pages 373-384
  26. Yuan Feng, Nengkun Yu, Mingsheng Ying
    Pages 385-396
  27. Martin Fink, Sergey Pupyrev
    Pages 397-408
  28. Alain Finkel, Stefan Göller, Christoph Haase
    Pages 409-420
  29. Fedor V. Fomin, Petr A. Golovach, Janne H. Korhonen
    Pages 421-432
  30. Hervé Fournier, Sylvain Perifel, Rémi de Verclos
    Pages 433-444
  31. Vincent Froese, René van Bevern, Rolf Niedermeier, Manuel Sorge
    Pages 445-456
  32. Robert Ganian, Friedrich Slivovsky, Stefan Szeider
    Pages 457-468
  33. Andrew V. Goldberg, Ilya Razenshteyn, Ruslan Savchenko
    Pages 469-479
  34. Alexander Golovnev, Alexander S. Kulikov, Ivan Mihajlin
    Pages 480-491
  35. Prachi Goyal, Vikram Kamat, Neeldhara Misra
    Pages 492-503
  36. Kristoffer Arnsfelt Hansen, Vladimir V. Podolskii
    Pages 516-527
  37. Alexander Heußner, Alexander Kartzow
    Pages 528-539
  38. John M. Hitchcock, A. Pavan
    Pages 540-550

About these proceedings


This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 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.


approximation algorithms finite automata proof complexity satisfiability temporal logic

Editors and affiliations

  • Krishnendu Chatterjee
    • 1
  • Jirí Sgall
    • 2
  1. 1.Institute for Science and TechnologyKlosterneuburgAustria
  2. 2.Charles UniversityPragueCzech Republic

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40312-5
  • Online ISBN 978-3-642-40313-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment