03584nam 22007335 450 99646568260331620230406051957.03-642-28332-210.1007/978-3-642-28332-1(CKB)3360000000365884(SSID)ssj0000666183(PQKBManifestationID)11434765(PQKBTitleCode)TC0000666183(PQKBWorkID)10647246(PQKB)11649834(DE-He213)978-3-642-28332-1(MiAaPQ)EBC3070274(PPN)168311763(EXLCZ)99336000000036588420120302d2012 u| 0engurnn|008mamaatxtccrLanguage 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-Vide1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XII, 556 p. 64 illus.) Theoretical Computer Science and General Issues,2512-2029 ;7183International conference proceedings.3-642-28331-4 Includes bibliographical references and author index.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.Theoretical Computer Science and General Issues,2512-2029 ;7183Computer scienceMachine theoryAlgorithmsArtificial intelligenceSocial sciences—Data processingTheory of ComputationFormal Languages and Automata TheoryAlgorithmsArtificial IntelligenceComputer Science Logic and Foundations of ProgrammingComputer Application in Social and Behavioral SciencesComputer science.Machine theory.Algorithms.Artificial intelligence.Social sciences—Data processing.Theory of Computation.Formal Languages and Automata Theory.Algorithms.Artificial Intelligence.Computer Science Logic and Foundations of Programming.Computer Application in Social and Behavioral Sciences.004.0151Dediu Adrian-Horiaedthttp://id.loc.gov/vocabulary/relators/edtMartín-Vide Carlosedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465682603316Language and Automata Theory and Applications774044UNISA