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
Springer-Verlag Berlin Heidelberg 2014
Springer, Berlin, Heidelberg
Series Print ISSN
Series Online ISSN
About this book