000 02733nam a22005535i 4500
001 978-3-642-21254-3
003 DE-He213
005 20140220083803.0
007 cr nn 008mamaa
008 110527s2011 gw | s |||| 0|eng d
020 _a9783642212543
_9978-3-642-21254-3
024 7 _a10.1007/978-3-642-21254-3
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYZG
_2bicssc
072 7 _aCOM037000
_2bisacsh
082 0 4 _a004.0151
_223
100 1 _aDediu, Adrian-Horia.
_eeditor.
245 1 0 _aLanguage and Automata Theory and Applications
_h[electronic resource] :
_b5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings /
_cedited by Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2011.
300 _aXIII, 512p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6638
520 _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.
650 0 _aComputer science.
650 0 _aComputer software.
650 0 _aArtificial intelligence.
650 0 _aInformation systems.
650 0 _aSocial sciences
_xData processing.
650 1 4 _aComputer Science.
650 2 4 _aComputation by Abstract Devices.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aComputer Appl. in Administrative Data Processing.
650 2 4 _aComputer Appl. in Social and Behavioral Sciences.
700 1 _aInenaga, Shunsuke.
_eeditor.
700 1 _aMartín-Vide, Carlos.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642212536
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6638
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-21254-3
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c107935
_d107935