LEADER 03619nam  22007815  450 
001 996465641203316
005 20230406045639.0
010   $a3-642-21254-9
024 7 $a10.1007/978-3-642-21254-3
035   $a(CKB)2670000000083955
035   $a(SSID)ssj0000538397
035   $a(PQKBManifestationID)11965824
035   $a(PQKBTitleCode)TC0000538397
035   $a(PQKBWorkID)10560421
035   $a(PQKB)11235649
035   $a(DE-He213)978-3-642-21254-3
035   $a(MiAaPQ)EBC3066771
035   $a(PPN)153859687
035   $a(EXLCZ)992670000000083955
100   $a20110527d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLanguage and Automata Theory and Applications$b[electronic resource] $e5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 /$fedited by Adrian-Horia Dediu, Carlos Martín-Vide, Shunsuke Inenaga
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XIII, 512 p. 115 illus., 33 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6638
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-21253-0 
320   $aIncludes bibliographical references and index.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6638
606   $aComputer science
606   $aMachine theory
606   $aAlgorithms
606   $aArtificial intelligence
606   $aInformation technology?Management
606   $aSocial sciences?Data processing
606   $aTheory of Computation
606   $aFormal Languages and Automata Theory
606   $aAlgorithms
606   $aArtificial Intelligence
606   $aComputer Application in Administrative Data Processing
606   $aComputer Application in Social and Behavioral Sciences
615  0$aComputer science.
615  0$aMachine theory.
615  0$aAlgorithms.
615  0$aArtificial intelligence.
615  0$aInformation technology?Management.
615  0$aSocial sciences?Data processing.
615 14$aTheory of Computation.
615 24$aFormal Languages and Automata Theory.
615 24$aAlgorithms.
615 24$aArtificial Intelligence.
615 24$aComputer Application in Administrative Data Processing.
615 24$aComputer Application in Social and Behavioral Sciences.
676   $a004.0151
702   $aDediu$b Adrian-Horia$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMartín-Vide$b Carlos$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aInenaga$b Shunsuke$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aLATA (Conference)
906   $aBOOK
912   $a996465641203316
996   $aLanguage and Automata Theory and Applications$9774044
997   $aUNISA