LEADER 04291nam  22008175  450 
001 996466014203316
005 20230329221730.0
010   $a3-319-30000-8
024 7 $a10.1007/978-3-319-30000-9
035   $a(CKB)3780000000096474
035   $a(SSID)ssj0001659102
035   $a(PQKBManifestationID)16442440
035   $a(PQKBTitleCode)TC0001659102
035   $a(PQKBWorkID)14985195
035   $a(PQKB)10387225
035   $a(DE-He213)978-3-319-30000-9
035   $a(MiAaPQ)EBC5592049
035   $a(PPN)192221752
035   $a(EXLCZ)993780000000096474
100   $a20160226d2016      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] $e10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /$fedited by Adrian-Horia Dediu, Jan Janou?ek, Carlos Martín-Vide, Bianca Truthe
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XXII, 618 p. 75 illus. in color.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9618
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-29999-9 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 10th International Conference on Language and Automata Theory and Applications, LATA 2016, held in Prague, Czech Republic, in March 2016. The 42 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 119 submissions. The papers cover the following topics: algebraic language theory; algorithms for semi-structured data mining, algorithms on automata and words; automata and logic; automata for system analysis and program verification; automata networks, concurrency and Petri nets; automatic structures; cellular automata, codes, combinatorics on words; computational complexity; data and image compression; descriptional complexity; digital libraries and document engineering; foundations of finite state technology; foundations of XML; fuzzy and rough languages; grammatical inference and algorithmic learning; graphs and graph transformation; language varieties and semigroups; parallel and regulated rewriting; parsing; patterns; string and combinatorial issues in computational biology and bioinformatics; string processing algorithms; symbolic dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9618
606   $aArtificial intelligence
606   $aComputer science
606   $aMachine theory
606   $aAlgorithms
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aArtificial Intelligence
606   $aTheory of Computation
606   $aFormal Languages and Automata Theory
606   $aAlgorithms
606   $aSymbolic and Algebraic Manipulation
606   $aDiscrete Mathematics in Computer Science
615  0$aArtificial intelligence.
615  0$aComputer science.
615  0$aMachine theory.
615  0$aAlgorithms.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615 14$aArtificial Intelligence.
615 24$aTheory of Computation.
615 24$aFormal Languages and Automata Theory.
615 24$aAlgorithms.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aDiscrete Mathematics in Computer Science.
676   $a001.64201
702   $aDediu$b Adrian-Horia$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aJanou?ek$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMartín-Vide$b Carlos$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTruthe$b Bianca$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466014203316
996   $aLanguage and Automata Theory and Applications$9774044
997   $aUNISA