LEADER 03221nam  22007215  450 
001 996466429103316
005 20230329173150.0
010   $a3-030-13435-0
024 7 $a10.1007/978-3-030-13435-8
035   $a(CKB)4100000007761839
035   $a(DE-He213)978-3-030-13435-8
035   $a(MiAaPQ)EBC5921287
035   $a(PPN)235231746
035   $a(EXLCZ)994100000007761839
100   $a20190213d2019      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLanguage and Automata Theory and Applications$b[electronic resource] $e13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /$fedited by Carlos Martín-Vide, Alexander Okhotin, Dana Shapira
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XVII, 470 p. 684 illus., 17 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11417
311   $a3-030-13434-2 
320   $aIncludes bibliographical references and index.
327   $aAutomata -- Complexity -- Grammars -- Languages -- Graphs, trees and rewriting -- Words and codes.
330   $aThis book constitutes the refereed proceedings of the 13th International Conference on Language and Automata Theory and Applications, LATA 2019, held in St. Petersburg, Russia, in March 2019. The 31 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 98 submissions. The papers cover the following topics: Automata; Complexity; Grammars; Languages; Graphs, trees and rewriting; and Words and codes.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11417
606   $aComputer science
606   $aAlgorithms
606   $aMachine theory
606   $aLogic programming
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aComputer Science Logic and Foundations of Programming
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
606   $aLogic in AI
606   $aDiscrete Mathematics in Computer Science
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aMachine theory.
615  0$aLogic programming.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aAlgorithms.
615 24$aFormal Languages and Automata Theory.
615 24$aLogic in AI.
615 24$aDiscrete Mathematics in Computer Science.
676   $a005.1015113
702   $aMartín-Vide$b Carlos$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aOkhotin$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aShapira$b Dana$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466429103316
996   $aLanguage and Automata Theory and Applications$9774044
997   $aUNISA