Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8634)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): MFCS: International Symposium on Mathematical Foundations of Computer Science
Conference proceedings info: MFCS 2014.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (46 papers)
-
Front Matter
-
Logic, Semantics, Automata and Theory of Programming
Other Volumes
-
Mathematical Foundations of Computer Science 2014
About this book
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
- algorithm analysis and problem complexity
Editors and Affiliations
-
Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary
Erzsébet Csuhaj-Varjú
-
Fakultät für Informatik und Automatisierung, Technische Universität Ilmenau, Ilmenau, Germany
Martin Dietzfelbinger
-
Institute of Informatics, Szeged University, Szeged, Hungary
Zoltán Ésik
Bibliographic Information
Book Title: Mathematical Foundations of Computer Science 2014
Book Subtitle: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Editors: Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-44522-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2014
Softcover ISBN: 978-3-662-44521-1Published: 04 August 2014
eBook ISBN: 978-3-662-44522-8Published: 12 August 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXVI, 561
Number of Illustrations: 65 b/w illustrations
Topics: Algorithm Analysis and Problem Complexity, Discrete Mathematics in Computer Science, Numeric Computing, Data Structures, Mathematical Logic and Formal Languages, Math Applications in Computer Science