03995cam a2200721Ka 450000437444820160623074239.8m o d cr^cnu---unuuu120314s2012 gw ob 101 0 eng d016046412Uk9783642283321(electronic bk.)3642283322(electronic bk.)978364228331410.1007/978-3-642-28332-1doiocn780068529orig 001sprnglnk_10.1007/978-3-642-28332-1derived from 856u(OCoLC)780068529(OCoLC)847714882GW5XEengpnGW5XEUKMGBCOOOCLCOOCLCQOCLCAE7BOCLCAOCLCFBEDGEOCLCOYDXCPOCLOCLCOOCLCQOCLCOEBLCPOCLCQQA267.L38 2012(OCoLC)78006852900423LATA (Conference)(6th :2012 :La Coruña, Spain)http://share-vde.org/sharevde/rdfBibframe/Agent/1227369http://viaf.org/viaf/299692645Language and automata theory and applications :6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings /Adrian-Horia Dediu, Carlos Martín-Vide (eds.).LATA 2012Berlin ;New York :Springer,©2012.http://share-vde.org/sharevde/rdfBibframe/Publisher/181 online resource (xiv, 552 pages).texttxtrdacontenthttp://rdaregistry.info/termList/RDAContentType/1020computercrdamediahttp://rdaregistry.info/termList/RDAMediaType/1002online resourcecrrdacarrierhttp://rdaregistry.info/termList/RDACarrierType/1018Lecture notes in computer science,0302-9743 ;7183LNCS sublibrary, SL 1, Theoretical computer science and general issuesIncludes bibliographical references and author index.Access is restricted to users affiliated with licensed institutions.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.Machine theoryCongresses.http://id.loc.gov/authorities/subjects/sh2008107145Formal languagesCongresses.http://id.loc.gov/authorities/subjects/sh2008104060Mathematical linguisticsCongresses.http://id.loc.gov/authorities/subjects/sh2010101000Artificial intelligenceCongresses.http://id.loc.gov/authorities/subjects/sh2007101476Informatique.eclasArtificial intelligence.fast(OCoLC)fst00817247Formal languages.fast(OCoLC)fst00932922Machine theory.fast(OCoLC)fst01004846Mathematical linguistics.fast(OCoLC)fst01012082Computer science.Computer software.Logic design.Artificial intelligence.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 Sciences.Electronic books.Conference papers and proceedings.fast(OCoLC)fst01423772Horia Dediu, Adrian.http://isni.org/isni/0000000058267745Martín Vide, Carlos.http://isni.org/isni/0000000059565410http://rdaregistry.info/Elements/m/P30004http://worldcat.org/oclc/780068529Printed edition:9783642283314Lecture notes in computer science ;7183.http://share-vde.org/sharevde/rdfBibframe/Work/199003-1http://viaf.org/viaf/185480520LNCS sublibrary.SL 1,Theoretical computer science and general issues.http://share-vde.org/sharevde/rdfBibframe/Work/88034-1http://viaf.org/viaf/182127764NNUBWEBBNYUIQA267.L38 2012Electronic accesshttp://link.springer.com/10.1007/978-3-642-28332-1SpringerLinkowned; unlimited userLanguage and automata theory and applicationshttp://share-vde.org/sharevde/rdfBibframe/Work/3531649-1NYU