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

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

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

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-662-44522-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-44521-1
  • Online ISBN 978-3-662-44522-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book