Choose an application

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

This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata; picture languages; pushdown automata; queue automata; reachability analysis for software verification; restarting automata; transducers; tree automata; weighted automata; XML streams.

Computer science. --- Data structures (Computer science). --- Computer software. --- Information storage and retrieval systems. --- Bioinformatics. --- 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. --- Machine theory --- Robotics --- Engineering & Applied Sciences --- Computer Science --- Bio-informatics --- Biological informatics --- 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 --- Software, Computer --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Informatics --- Computers. --- Algorithms. --- Mathematical logic. --- Information storage and retrieval. --- Automat (Automatentheorie) --- Theoretische Informatik. --- Informatik --- Theorie --- Data structures (Computer scienc. --- Information storage and retrieva. --- Data structures (Computer science) --- Biology --- Information science --- Computational biology --- Systems biology --- Computer systems --- Science --- Data processing --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- 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 --- Cybernetics --- Calculators --- Cyberspace --- Foundations --- Machine theory. --- Artificial intelligence—Data processing. --- Theory of Computation. --- Formal Languages and Automata Theory. --- Computational and Systems Biology. --- Data Science. --- Data centers --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions

Choose an application

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

This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others. .

Logic design. --- Computer science. --- Artificial intelligence. --- Database management. --- Software engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence. --- Database Management. --- Special Purpose and Application-Based Systems. --- Computer software engineering --- Engineering --- 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 --- Electronic data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Formal languages --- Formal methods (Computer science) --- Computer logic. --- Mathematical logic. --- Special purpose computers. --- Special purpose computers --- Computers --- 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 --- Machine theory. --- Computers, Special purpose. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics