Choose an application

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

This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umeå, Sweden, in August 2015. The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random generation of automata, regular expressions, security issues, sensors in automata, transducers, transformation of automata, and weighted automata.

Computer Science. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computational Biology/Bioinformatics. --- Data Structures. --- Information Storage and Retrieval. --- Computer science. --- Data structures (Computer science). --- Computer software. --- Information storage and retrieval systems. --- Bioinformatics. --- Informatique --- Structures de données (Informatique) --- Logiciels --- Systèmes d'information --- Bio-informatique --- Computer Science --- Engineering & Applied Sciences --- Computers. --- Algorithms. --- Mathematical logic. --- Information storage and retrieval. --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- 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 --- Data processing --- Foundations --- Data structures (Computer scienc. --- Information storage and retrieva. --- Data structures (Computer science) --- Software, Computer --- Machine theory. --- Artificial intelligence—Data processing. --- Theory of Computation. --- Formal Languages and Automata Theory. --- Computational and Systems Biology. --- Data Science. --- 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 --- Electronic information resources --- Data centers --- Digital libraries --- Information organization --- Information retrieval --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics

Choose an application

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

This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umeå, Sweden, in August 2015. The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, counter automata, decision algorithms on automata, descriptional complexity, expressive power of automata, homing sequences, jumping finite automata, multi-dimensional languages, parsing and pattern matching, quantum automata, realtime pushdown automata, random generation of automata, regular expressions, security issues, sensors in automata, transducers, transformation of automata, and weighted automata.

Information retrieval --- Mathematical logic --- Complex analysis --- Biomathematics. Biometry. Biostatistics --- Molecular biology --- Computer science --- Programming --- Information systems --- Computer. Automation --- complexe analyse (wiskunde) --- bio-informatica --- computers --- informatica --- informatiesystemen --- database management --- wiskunde --- programmatielogica --- algoritmen --- logica --- moleculaire biologie

Choose an application

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

Choose an application

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

This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umeå, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions. The papers cover the following topics: algorithmic learning and semantics; automata and logics; combinatorics on words, compression, and pattern matching; complexity; finite automata; grammars, languages, and parsing; graphs and Petri Nets; non-classical automata; and pushdown automata and systems.

Computer science. --- Computer programming. --- Computers. --- Algorithms. --- Mathematical logic. --- Database management. --- Artificial intelligence. --- Computer Science. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Database Management. --- Programming Techniques. --- Artificial Intelligence (incl. Robotics). --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algorism --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Informatics --- Programming --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algebra --- Arithmetic --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Coding theory --- Science --- Foundations --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Machine theory. --- Theory of Computation. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics