TY - BOOK ID - 4868576 TI - Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II AU - Italiano, Giuseppe F. AU - Pighizzini, Giovanni. AU - Sannella, Donald T. PY - 2015 SN - 9783662480540 3662480530 9783662480533 3662480549 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Computer Science. KW - Algorithm Analysis and Problem Complexity. KW - Computer science. KW - Computer software. KW - Informatique KW - Logiciels KW - Computer Science KW - Engineering & Applied Sciences KW - Algorithms. KW - Algorism KW - Algebra KW - Arithmetic KW - Informatics KW - Science KW - Foundations KW - Computational complexity. KW - Electronic data processing. KW - Data structures (Computer scienc. 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 - 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 - Electronic data processing KW - Machine theory KW - Software, Computer KW - Computer systems KW - Automation KW - Data structures (Computer science) 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 - Computer science KW - Mathematics KW - Computer science—Mathematics. KW - Numerical analysis. KW - Data structures (Computer science). KW - Mathematical logic. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Mathematical analysis 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:4868576 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 -