Language and Automata Theory and Applications [electronic resource] : 6th International Conference, LATA 2012, A CoruȘa, Spain, March 5-9, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martȡn-Vide.
Tipo de material:
TextoSeries Lecture Notes in Computer Science, 7183Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Descripción: XII, 556p. 64 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642283321Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Computer software | Logic design | Artificial intelligence | Social sciences -- Data processing | Computer Science | Computation by Abstract Devices | Mathematical Logic and Formal Languages | Algorithm Analysis and Problem Complexity | Artificial Intelligence (incl. Robotics) | Logics and Meanings of Programs | Computer Appl. in Social and Behavioral SciencesFormatos físicos adicionales: Sin títuloClasificación CDD: 004.0151 Clasificación LoC:QA75.5-76.95Recursos en línea: de clik aquí para ver el libro electrónico Springer eBooksResumen: This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A CoruȘa, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition.
This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A CoruȘa, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.