Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Aims to reinforce the interface between physical sciences, theoretical computer science, and discrete mathematics. This book assembles theoretical physicists and specialists of theoretical informatics and discrete mathematics in order to learn about developments in cryptography, algorithmics, and more.

Computer science --- Physics. --- Cryptography. --- Cryptanalysis --- Cryptology --- Secret writing --- Steganography --- Signs and symbols --- Symbolism --- Writing --- Ciphers --- Data encryption (Computer science) --- Natural philosophy --- Philosophy, Natural --- Physical sciences --- Dynamics --- Computer mathematics --- Electronic data processing --- Mathematics --- Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.

Engineering & Applied Sciences --- Computer Science --- Computer science --- Computer programming --- Computer algorithms --- Mathematics --- Computer science. --- Data structures (Computer science). --- Algorithms. --- Mathematical logic. --- Numerical analysis. --- Computer Science. --- Algorithm Analysis and Problem Complexity. --- Discrete Mathematics in Computer Science. --- Numeric Computing. --- Data Structures. --- Mathematical Logic and Formal Languages. --- Math Applications in Computer Science. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Informatics --- Science --- Foundations --- Computer software. --- Computational complexity. --- Electronic data processing. --- Data structures (Computer scienc. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Complexity, Computational --- Machine theory --- Software, Computer --- Computer systems --- Automation --- Data structures (Computer science) --- Computer science—Mathematics. --- Discrete mathematics. --- Artificial intelligence—Data processing. --- Machine theory. --- Numerical Analysis. --- Data Science. --- Formal Languages and Automata Theory. --- Mathematical Applications in Computer Science. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis