Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9234)
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 2015.
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 (35 papers)
-
Front Matter
-
Logic, Semantics, Automata and Theory of Programming
-
Front Matter
-
Other Volumes
-
Mathematical Foundations of Computer Science 2015
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
- distributed computing
- formal specifications
- foundations of computing
- grammars and formal languages
- lambda-calculus
- linear programming
- logic-networks
- parallel computing
- program development
- quantum computing
- semantics and verification of programs
- algorithm analysis and problem complexity
Editors and Affiliations
-
Università di Roma "Tor Vergata", Rome, Italy
Giuseppe F Italiano
-
Università degli Studi di Milano, Milan, Italy
Giovanni Pighizzini
-
University of Edinburgh, Edinburgh, United Kingdom
Donald T. Sannella
Bibliographic Information
Book Title: Mathematical Foundations of Computer Science 2015
Book Subtitle: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
Editors: Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-48057-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2015
Softcover ISBN: 978-3-662-48056-4Published: 20 August 2015
eBook ISBN: 978-3-662-48057-1Published: 10 August 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXVI, 459
Number of Illustrations: 51 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