00000cmm a22000004i 4500 UP-99796217611135025 Buklod 20140228105710.0 m go j cr |n |||auu|a 110527s2011 xx u | eng d 9783642212543 (eBook) 3642212549 (eBook) (iLib)UPD-00214604016 DLC DML eng DMLUC QA 267 L38 2011eb LATA (Conference) (5th 2011 Tarragona, Spain) Language and automata theory and applications [electronic resource] 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide, (eds.). Berlin Heidelberg Springer c2011. 1 online resource (xiii, 512 p.) Lecture Notes in Computer Science 0302-9743 6638 IP-based subscription, access limited to within on-campus computer network. Access via Electronic Resources of the UPD University Library Website. This book constitutes the refereed proceedings of the 5th International Conference on Language and Automata Theory and Applications, LATA 2011, held in Tarragona, Spain in May 2011. The 36 revised full papers presented together with four invited articles were carefully selected from 91 submissions. 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. Electronic reproduction. New York SpringerLink c2011. Available via World Wide Web through SpringerLink. Machine theory Congresses. Formal languages Congresses. Mathematical linguistics Congresses. Electronic books. Dediu, Adrian-Horia. Inenaga, Shunsuke. Martín-Vide, Carlos. SpringerLink (Online service). Lecture Notes in Computer Science 0302-9743 6638 Available for University of the Philippines Diliman via SpringerLink. Click here to access http://dx.doi.org/10.1007/978-3-642-21254-3 (viewed 09 July 2014) FO Monograph UPD DMLR Electronic Resource