Choose an application

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

This book constitutes the proceedings of the 23rd International Conference on Implementation and Application of Automata, CIAA 2018, held in Charlottetown, PE, Canada, in July/August 2018. The 23 regular papers presented in this book together with 4 invited papers were carefully reviewed and selected from 39 initial submissions. The topics of the papers include state complexity of automata, implementations of automata and experiments, enhanced regular expressions, and complexity analysis.

Computer science. --- Data structures (Computer science). --- Computer logic. --- Mathematical logic. --- Information storage and retrieval. --- Computer Science. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Data Structures. --- Information Storage and Retrieval. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Informatics --- Science --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Logic design. --- Data structures (Computer scienc. --- Information organization. --- Information retrieval. --- Data structures (Computer science) --- Data retrieval --- Data storage --- Discovery, Information --- Information discovery --- Information storage and retrieval --- Retrieval of information --- Documentation --- Information science --- Information storage and retrieval systems --- Organization of information --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Machine theory. --- Artificial intelligence—Data processing. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Data Science. --- Data centers --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

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

his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions. Descriptional Complexity is a field in Computer Science that deals with the size of all kind of objects that occur in computational models, such as Turing Machines, finte automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of descriptional complexity. .

Computer science. --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer science --- Computer Science. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Discrete Mathematics in Computer Science. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Computer science logic --- Algorism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Informatics --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical --- Algebra --- Arithmetic --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Science --- Foundations --- Logic design. --- Computer software. --- Computational complexity. --- Complexity, Computational --- Software, Computer --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Formal methods (Computer science) --- Computer science—Mathematics. --- Machine theory. --- Discrete mathematics. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Theory of Computation. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics