000 03409nam a22006375i 4500
001 978-3-319-53733-7
003 DE-He213
005 20240730194408.0
007 cr nn 008mamaa
008 170215s2017 sz | s |||| 0|eng d
020 _a9783319537337
_9978-3-319-53733-7
024 7 _a10.1007/978-3-319-53733-7
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aLanguage and Automata Theory and Applications
_h[electronic resource] :
_b11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings /
_cedited by Frank Drewes, Carlos Martín-Vide, Bianca Truthe.
250 _a1st ed. 2017.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2017.
300 _aXXIII, 462 p. 59 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v10168
505 0 _aAlgorithmic learning and semantics -- Automata and logics -- Combinatorics on words, compression, and pattern matching -- Complexity -- Finite automata -- Grammars, languages, and parsing -- Graphs and Petri Nets -- Non-classical automata -- Pushdown automata and systems.
520 _aThis book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umeå, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions. The papers cover the following topics: algorithmic learning and semantics; automata and logics; combinatorics on words, compression, and pattern matching; complexity; finite automata; grammars, languages, and parsing; graphs and Petri Nets; non-classical automata; and pushdown automata and systems.
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9156891
650 0 _aAlgorithms.
_93390
650 0 _aDatabase management.
_93157
650 0 _aComputer programming.
_94169
650 0 _aArtificial intelligence.
_93407
650 1 4 _aTheory of Computation.
_9156892
650 2 4 _aFormal Languages and Automata Theory.
_9156893
650 2 4 _aAlgorithms.
_93390
650 2 4 _aDatabase Management.
_93157
650 2 4 _aProgramming Techniques.
_9156894
650 2 4 _aArtificial Intelligence.
_93407
700 1 _aDrewes, Frank.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9156895
700 1 _aMartín-Vide, Carlos.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9156896
700 1 _aTruthe, Bianca.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9156897
710 2 _aSpringerLink (Online service)
_9156898
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319537320
776 0 8 _iPrinted edition:
_z9783319537344
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v10168
_9156899
856 4 0 _uhttps://doi.org/10.1007/978-3-319-53733-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95176
_d95176