TY - BOOK ID - 4868577 TI - Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I AU - Italiano, Giuseppe F. AU - Pighizzini, Giovanni. AU - Sannella, Donald T. PY - 2015 SN - 9783662480571 3662480565 9783662480564 3662480573 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer Science. KW - Algorithm Analysis and Problem Complexity. KW - Discrete Mathematics in Computer Science. KW - Numeric Computing. KW - Data Structures. KW - Mathematical Logic and Formal Languages. KW - Math Applications in Computer Science. KW - Computer science. KW - Data structures (Computer science). KW - Computer software. KW - Electronic data processing. KW - Computational complexity. KW - Informatique KW - Structures de données (Informatique) KW - Logiciels KW - Complexité de calcul (Informatique) KW - Computer Science KW - Engineering & Applied Sciences KW - Algorithms. KW - Mathematical logic. KW - Numerical analysis. KW - Computer science KW - Mathematics. KW - Computer mathematics KW - Discrete mathematics KW - Electronic data processing KW - Mathematical analysis KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Algorism KW - Algebra KW - Arithmetic KW - Information structures (Computer science) KW - Structures, Data (Computer science) KW - Structures, Information (Computer science) KW - File organization (Computer science) KW - Abstract data types (Computer science) KW - Informatics KW - Science KW - Foundations KW - Data structures (Computer scienc. KW - ADP (Data processing) KW - Automatic data processing KW - Data processing KW - EDP (Data processing) KW - IDP (Data processing) KW - Integrated data processing KW - Computers KW - Office practice KW - Complexity, Computational KW - Machine theory KW - Software, Computer KW - Computer systems KW - Automation KW - Data structures (Computer science) KW - Computer science—Mathematics. KW - Discrete mathematics. KW - Artificial intelligence—Data processing. KW - Machine theory. KW - Numerical Analysis. KW - Data Science. KW - Formal Languages and Automata Theory. KW - Mathematical Applications in Computer Science. KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Logic, Symbolic and mathematical KW - Recursive functions KW - Robotics KW - Discrete mathematical structures KW - Mathematical structures, Discrete KW - Structures, Discrete mathematical KW - Numerical analysis UR - https://www.unicat.be/uniCat?func=search&query=sysid:4868577 AB - This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2). ER -