LEADER 04150nam  22008535  450 
001 9910484900803321
005 20230405233555.0
010   $a3-642-39274-1
024 7 $a10.1007/978-3-642-39274-0
035   $a(CKB)3710000000002621
035   $a(DE-He213)978-3-642-39274-0
035   $a(SSID)ssj0000962822
035   $a(PQKBManifestationID)11618974
035   $a(PQKBTitleCode)TC0000962822
035   $a(PQKBWorkID)10976280
035   $a(PQKB)10247702
035   $a(MiAaPQ)EBC3101243
035   $a(PPN)172427983
035   $a(EXLCZ)993710000000002621
100   $a20130711d2013      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aImplementation and Application of Automata $e18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings /$fedited by Stavros Konstantinidis
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XIV, 358 p. 78 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7982
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-39273-3 
320   $aIncludes bibliographical references and author index.
327   $aComplexity of automata -- Compressed automata -- Counter automata -- Dictionary matching -- Edit distance -- Homing sequences -- Implementation -- Minimization of automata -- Model checking -- Parsing of regular expressions -- Partial word automata -- Picture languages -- Pushdown automata -- Queue automata -- Reachability analysis for software verification -- Restarting automata -- Transducers -- Tree automata -- Weighted automata -- XML streams.
330   $aThis book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata; picture languages; pushdown automata; queue automata; reachability analysis for software verification; restarting automata; transducers; tree automata; weighted automata; XML streams.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7982
606   $aComputer science
606   $aAlgorithms
606   $aMachine theory
606   $aBioinformatics
606   $aArtificial intelligence?Data processing
606   $aInformation storage and retrieval systems
606   $aTheory of Computation
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
606   $aComputational and Systems Biology
606   $aData Science
606   $aInformation Storage and Retrieval
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aMachine theory.
615  0$aBioinformatics.
615  0$aArtificial intelligence?Data processing.
615  0$aInformation storage and retrieval systems.
615 14$aTheory of Computation.
615 24$aAlgorithms.
615 24$aFormal Languages and Automata Theory.
615 24$aComputational and Systems Biology.
615 24$aData Science.
615 24$aInformation Storage and Retrieval.
676   $a004
686   $a004$2sdnb
686   $aDAT 500f$2stub
686   $aDAT 550f$2stub
686   $aSS 4800$2rvk
702   $aKonstantinidis$b Stavros$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aCIAA (Conference)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484900803321
996   $aImplementation and Application of Automata$93552118
997   $aUNINA