Choose an application

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

This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe, CiE 2014, held in Budapest, Hungary, in June 2014. The 42 revised papers presented were carefully reviewed and selected from 78 submissions and included together with 15 invited papers in this proceedings. The conference had six special sessions: computational linguistics, bio-inspired computation, history and philosophy of computing, computability theory, online algorithms, and complexity in automata theory.

Computable functions --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic) --- Computer science. --- Computer software. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Mathematics of Computing. --- Software, Computer --- Computer systems --- Informatics --- Science --- Computers. --- Algorithms. --- Computer science—Mathematics. --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Foundations --- Theory of Computation. --- Computer science --- Mathematics. --- Computer mathematics --- Electronic data processing --- Mathematics

Choose an application

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

This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity,  Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.

Computer science. --- Data structures (Computer science). --- Algorithms. --- Mathematical logic. --- Numerical analysis. --- Computer science --- 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 software. --- Computational complexity. --- Electronic data processing. --- Data structures (Computer scienc. --- Data structures (Computer science) --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Complexity, Computational --- Electronic data processing --- Machine theory --- Software, Computer --- Computer systems --- Informatics --- Science --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Automation --- Computer programming --- Mathematics --- Computer science—Mathematics. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematical analysis --- Algorism --- Algebra --- Arithmetic --- Foundations --- 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