TY  - BOOK
AU  - 
AU  - 
ED  - SpringerLink (Online service)
TI  - Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A CoruȘa, Spain, March 5-9, 2012. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642283321
AV  - QA75.5-76.95 
U1  - 004.0151 23
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer software
KW  - Logic design
KW  - Artificial intelligence
KW  - Social sciences
KW  - Data processing
KW  - Computer Science
KW  - Computation by Abstract Devices
KW  - Mathematical Logic and Formal Languages
KW  - Algorithm Analysis and Problem Complexity
KW  - Artificial Intelligence (incl. Robotics)
KW  - Logics and Meanings of Programs
KW  - Computer Appl. in Social and Behavioral Sciences
N1  - ZDB-2-SCS; ZDB-2-LNC
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-28332-1
ER  -