Mathematical Foundations of Computer Science 2014

39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I

  • Erzsébet Csuhaj-Varjú
  • Martin Dietzfelbinger
  • Zoltán Ésik
Conference proceedings MFCS 2014

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

Table of contents

  1. Front Matter
  2. Invited Contributions

  3. Logic, Semantics, Automata and Theory of Programming

    1. F. Abu Zaid, E. Grädel, M. Grohe, W. Pakusa
      Pages 50-62
    2. Marie-Pierre Béal, Michel Blockelet, Cătălin Dima
      Pages 63-74
    3. Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
      Pages 75-86
    4. Achim Blumensath, Olivier Carton, Thomas Colcombet
      Pages 87-98
    5. Pierre Bourhis, Michael Morak, Andreas Pieris
      Pages 99-110
    6. Florian Bruse
      Pages 111-122
    7. Daniel Bundala, Joël Ouaknine
      Pages 123-134
    8. Arturo Carpi, Gabriele Fici, Štěpán Holub, Jakub Opršal, Marinella Sciortino
      Pages 135-146
    9. Julien Cassaigne, Anna E. Frid, Svetlana Puzynina, Luca Q. Zamboni
      Pages 147-158
    10. Julien Cassaigne, Gabriele Fici, Marinella Sciortino, Luca Q. Zamboni
      Pages 159-170
    11. Namit Chaturvedi, Marcus Gelderie
      Pages 171-182
    12. Christian Choffrut, Bruno Guillon
      Pages 196-207
    13. Thomas Colcombet, Laure Daviaud, Florian Zuleger
      Pages 208-219
    14. Jean-Baptiste Courtois, Sylvain Schmitz
      Pages 220-231
    15. Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra
      Pages 232-243
    16. Jesús Domínguez, Maribel Fernández
      Pages 244-255
    17. Kord Eickmeyer, Michael Elberfeld, Frederik Harwath
      Pages 256-266
    18. Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Youssouf Oualhadj
      Pages 267-278
    19. Nathanaël Fijalkow, Charles Paperman
      Pages 279-290
    20. Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michał Skrzypczak
      Pages 303-314
    21. Štěpán Holub, Galina Jirásková, Tomáš Masopust
      Pages 315-326
    22. Furio Honsell, Luigi Liquori, Ivan Scagnetto
      Pages 327-339
    23. Martin Huschenbett, Dietrich Kuske, Georg Zetzsche
      Pages 340-351
    24. Salvatore La Torre, Margherita Napoli, Gennaro Parlato
      Pages 377-389
    25. Martin Lang, Christof Löding, Amaldev Manuel
      Pages 390-401
    26. Florin Manea, Mike Müller, Dirk Nowotka, Shinnosuke Seki
      Pages 402-413
    27. Filip Mazowiecki, Filip Murlak, Adam Witkowski
      Pages 426-437
    28. Angelo Montanari, Gabriele Puppis, Pietro Sala
      Pages 451-463
    29. Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
      Pages 464-473
    30. Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
      Pages 474-485
    31. Sven Schewe, Thomas Varghese
      Pages 486-498
    32. Sven Schewe, Thomas Varghese
      Pages 499-510
  4. Back Matter

Other volumes

  1. Mathematical Foundations of Computer Science 2014
    39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I
  2. 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II

About these proceedings


This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014.
The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity,  Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.


algebra and categories in computer science algorithmic game theory algorithmic learning theory algorithms and data structures approximation algorithms automata computational complexity concurrency theory cryptography and security databases and knowledge-based systems formal specifications and program development foundations of computing grammars and formal languages lambda-calculus linear programming linear programming logic networks parallel and distributed computing quantum computing semantics and verification of programs

Editors and affiliations

  • Erzsébet Csuhaj-Varjú
    • 1
  • Martin Dietzfelbinger
    • 2
  • Zoltán Ésik
    • 3
  1. 1.Faculty of InformaticsEötvös Loránd UniversityBudapestHungary
  2. 2.Fakultät für Informatik und AutomatisierungTechnische Universität IlmenauIlmenauGermany
  3. 3.Institute of InformaticsSzeged UniversitySzegedHungary

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-44521-1
  • Online ISBN 978-3-662-44522-8
  • 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